Difference between revisions of "Courses/IMC"
From LRDE
Line 1: | Line 1: | ||
{{Course |
{{Course |
||
− | |visible= |
+ | |visible=No |
|title=Introduction au Model checking |
|title=Introduction au Model checking |
||
|acronym=IMC |
|acronym=IMC |
Latest revision as of 18:27, 4 February 2020
Titre |
Introduction au Model checking |
---|---|
Sigle |
IMC |
Enseignant | |
Période |
S5, Ing3 |
Public |
Majeure, RDI |
Contrôle |
QCM |
Durée |
14h |
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 |