Cours/TD/Tp Méthodes formelles - Vérification probabiliste
M2 Informatique 2022-2023
ANNONCES
L'examen est à faire en distanciel pour le mardi 4 avril 2023 12h et l'énoncé est disponible plus bas sur cette page!!
HORAIRES
Mardi 9h30-12h30. Salle 2003 Sophie Germain
ORGANISATION
Responsable du cours :
Arnaud Sangnier
COURS
Systèmes de transitions
Propriétés temporelles linéaires
Propriétés de sûreté régulières
Propriétés temporelles linéaires régulières
La logique LTL
Chaînes de Markov et propriétés
Accessibilité dans les Chaînes de Markov
ENONCES DES TD/TP
Td1
Td2
Tp1
Td3
EXAMEN
L'examen est à rendre par mail à sangnier@irif.fr au plus tard le
mardi 4 avril 2023 à 12h00
.
Enoncé
DEVOIR MAISON
Le devoir est à rendre par mail à sangnier@irif.fr au plus tard le
dimanche 26 mars 2023 à 23h59
. Les modalités de rendu sont précisées dans l'énoncé.
Enoncé
ANNALES
Examen 2021
Examen 2020
Examen 2019
REFERENCES
Site du model-checker PRISM
"Principles of Model-Checking" : M. Christel Baier and Joost-Pieter Katoen. MIT Press, 2008.