Concepts et Model Checking – 2026
Les transparents
- transparents du cours : PDF (dernière mise à jour : 16 février)
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)
Examens
- Énoncés et solutions de 2024 : PDF
- Énoncés et solutions de 2025 : PDF
Enseignant:
Stefan Schwoon