SAVE program

Saturday July 27th, 2002

All sessions take place in auditorium 8.

SAVE's program is also available with abstracts or side by side with other meetings.

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

16:00  Fabio Martinelli, CNR Pisa, Italy
Symbolic partial model checking for security analysis
16:45  R. Corin and Sandro Etalle, U Twente, The Netherlands
An improved constraint-based system for the verification of security protocols