Concepts et Model Checking – 2026
Les transparents
- transparents du cours : PDF (dernière mise à jour : 2 mars)
Les transparents sont issus d'une traduction en français des slides élaborés par Javier Esparza, Keijo Heljanko et Stefan Schwoon.
Les TD
- 2 février: enoncé (PDF) -- solutions (PDF)
- 9 février: PDF (enoncé) et ZIP ou TGZ (fichiers pour Spin)
- 16 février: enoncé (PDF) -- solutions (PDF)
- 23 février: enoncé (PDF) -- solutions (PDF)
Examen
- Date : le 2 mars entre 16h et 17h45. Support : notes manuscrites
- Énoncés et solutions de 2024 : PDF
- Énoncés et solutions de 2025 : PDF
Enseignant:
Stefan Schwoon