Séminaire du LIF
Jeudi 6 novembre à 14h - CMI, Grand Amphi
Giorgio Delzanno
Università di Genova, Italie
On the application of well- and better-quasi orderings
to the automated verification of concurrent systems
In this talk we will introduce the basics of the theory of "well-quasi orderings" and discuss its application to the automatic verification of concurrent systems (e.g. Petri nets). Moreover, we will show how the stronger notion of "better-quasi ordering" can be used to devise "compact" symbolic data structures in a systematic way.
Email: giorgio@disi.unige.it