Cours
de Model Checking, M2, X
Ce cours est une introduction au Model checking, une
technique
de pointe en vérification automatique. Nous ferons
un tour
d'horizon des bases de la méthode
: systèmes
réactifs et modélisation,
propriétés
d'accessibilité / invariance / sûreté,
logiques
temporelles LTL / CTL / CTL* et algorithmes
de model checking pour CTL (par marquage) et LTL (par automates).
Organisation
Lieu et horaires : bâtiment X-Tech, salle de réunion, 9h-12h
Contrôle continu : A voir.
Examen : A voir.
Planning et Contenu
Liste des devoirs maison
(petit) devoir à rendre pour le 12/11, à envoyer par email au format .pdf ou me remettre en mains propres. (sujet)
Back