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.
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.