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