In last Thursday’s session of the seminar, Kokichi Futatsugi’s talk took longer than planned (and it would have been a pity to stop him), so I postponed my own talk on Automatic inference of frame conditions through the alias calculus to next week (Thursday local date). As usual it will be broadcast live.
Seminar page: here, including the link to follow the webcast.
Time and date: 5 April 2012, 18 Saint Petersburg time; you can see the local time at your location here.
Frame specifications, the description of what does not change in a routine call, are one of the most annoying components of verification, in particular for object-oriented software. Ideally frame conditions should be inferred automatically. I will present how the alias calculus, described in recent papers, can address this need.
There may be a second talk, on hybrid systems, by Sergey Velder.