| SAVE program | | Saturday July 27th, 2002 |
All sessions take place in auditorium 8.
SAVE's program is also available with abstracts.
09:00-10:30 Session 1
| 09:00 | Joost-Pieter Katoen, U
Twente, The Netherlands Invited talk: Model checking birth and death |
| 09:45 | Natasha
Sharygina and James C. Browne, U Texas-Austin, USA Model checking large-scale software via abstraction of loop transitions |
10:30-11:00 Refreshments
11:00-12:30 Session 2
| 11:00 | Alessandro
Armando and Pasquale De Lucia, U Genova, Italy Symbolic model-checking of linear programs |
| 11:45 | Pierluigi
Ammirati, U Genova, Italy; Giorgio Delzanno, U Genova, Italy; Pierre Ganty, U
Brussels (Libre), Belgium; Gilles Geeraerts, U Brussels (Libre), Belgium;
Jean-François Raskin, U Brussels (Libre), Belgium; and Laurent Van Begin, U
Brussels (Libre), Belgium Babylon: An integrated toolkit for the specification and verification of parameterized systems |
12:30-14:00 Lunch
14:00-15:30 Session 3
| 14:00 | Alessandro
Armando, U Genova, Italy Invited talk: An overview of the AVISS project |
| 14:45 | Benjamin
Aziz and G. W. Hamilton, Dublin City U, Ireland A privacy analysis for the π-calculus: The denotational approach |
15:30-16:00 Refreshments
16:00-17:30 Session 4