LSV Seminar
The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Past Seminars
Approximate Verification of Parameterized Systems
- Date
- Tuesday, September 22 2009 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Giorgio Delzanno (Università di Genova, Italy)
In the talk I will present a series of abstractions that can be used to obtain
approximated verification algorithms for parameterized systems with global
conditions and different types of topology (ordered/unordered arrays, trees,
graphs). The verification algorithms perform a symbolic exploration of a
possibly infinite-state space and exploit the theory of well-quasi orderings
for ensuring the theoretical termination of the analysis.
The
presentation is based on joint work with Parosh Abdulla and Ahmed Rezine.