Hugo Salou – ENS L3
Semantics and Verification
Enseignant : C. 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