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

 Giorgio Delzanno
Tuesday, September 22 2009 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
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.

About LSV