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