Initiation à la Vérification 2011/12
Les transparents (en anglais)
- du 7 et 14 décembre: PDF (Réseaux de Petri, dépliage, graphe de couverture)
- du 18 janvier: PDF (Diagrammes de décision binaire)
- du 1er février: PDF (Automates à pile)
- du 15 février: PDF (Réduction à l'ordre partiel)
L'examen (PDF) et le corrigé (PDF).
Page principale du cours: lien
Responsable: Stefan Schwoon