Initiation à la Vérification 2009/10
Les transparents (en anglais)
- du 23 novembre: PDF (BDDs, page 50 corrigée 30/11)
- du 7 décembre: PDF (Abstraction/refinement)
- du 4 janvier: PDF (Bounded model checking) and PDF (Petri nets)
- du 18 janvier: PDF (Petri nets: structural analysis and unfoldings, pages 48 et 50 corrigées 27/1)
L'examen (PDF) et le corrigé (PDF).
Page principale du cours: lien
Responsable: Stefan Schwoon