Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Modélisation et vérification des systèmes temporisés, hybrides ou concurrents
Thème :
Logique & Preuve
–
Cursus :
MPRI - M2
2006 - 2007
Plan du cours
Plan du cours
Partie 1 - Logiques temporelles
Nicolas Markey
Notes de cours : "Temporal Logics"
Slides 1
Slides 2
Slides 3
Slides 4
Partie 1 - (Documents supplémentaires)
Notes de cours "Temporal Logics" (2005) de Stéphane Demri
Notes de cours "Temporal logic, automata, and classical theories" de Mads Dam.
Notes de cours "Temporal logics of computations" de Valentin Goranko.
Transparents "Modal and temporal logics" de Colin Stirling.
Notes de cours "Automated Verification" de Moshe Vardi
Le sujet d'examen de 2005
Partie 4 - Modélisation et vérification des systèmes distribués
Benedikt Bollig
Slides de cours
Exercises 1
Exercises 2
Exercises 3
Exercises 4
Examen : Sujet
Examen : Sujet et Corrigé