Hugo Salou – ENS M1
Semantics and Verification
Enseignant : Colin Riba
Cours complet
Cours par chapitres
Chapitre 0 :
Introduction
Chapitre 1 :
Transition systems
Chapitre 2 :
Linear-Time Properties
Chapitre 3 :
L'approche topologique
Chapitre 4 :
Ordres partiels et treillis
Chapitre 5 :
Propriétés « observables »
Chapitre 6 :
Logique temporelle linéaire
Chapitre 7 :
Langages ω-réguliers
Chapitre 8 :
Bisimulation
Chapitre 9 :
Logique modale pour systèmes de transitions