Difference between revisions of "Courses/IMC"
From LRDE
Line 20: | Line 20: | ||
|references=Model Checking. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. MIT Press. |
|references=Model Checking. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. MIT Press. |
||
The Spin Model Checker: Primer and Reference Manual. Gerard J. Holzmann. Addison-Wesley. |
The Spin Model Checker: Primer and Reference Manual. Gerard J. Holzmann. Addison-Wesley. |
||
− | |slides= |
+ | |slides=http://www.lrde.epita.fr/~adl/ens/mc/ |
}} |
}} |
Revision as of 16:09, 27 June 2014
Titre |
Introduction au Model checking |
---|---|
Sigle |
IMC |
Enseignant | |
Période |
S5, Ing3 |
Public |
Majeure, CSI"CSI" is not in the list (InfoSup, InfoSpé, Tronc-commun, Majeure, Apprentis, Cycle Ing, SCIA, AppIng, RDI, IMAGE, ...) of allowed values for the "Course audience" property. |
Contrôle | |
Durée | |
Optionnel |
non |
Module |
Sciences Générales |
Prérequis |
ALGO |
Objectifs |
Ce cours introduit la vérification formelle en générale et les techniques de model checking en particulier. L'étudiant y découvre des logiques temporelles, différents automates représentant des mots des longueur infinie, ainsi que des techniques pour manipuler ces objets. |
Plan |
|
Documentation |
|
Support | |
Journaux |