Concepts et Model Checking – 2025
Les transparents
- transparents du cours : PDF (dernière mise à jour : 3 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
- 27 janvier: enoncé (PDF) -- solutions (PDF)
- 3 février: PDF (enoncé) et ZIP ou TGZ (fichiers pour Spin)
- 10 février: enoncé (PDF) -- solutions (PDF)
- 24 février: enoncé (PDF) -- solutions (PDF)
Anciens examens
- Énoncés et solutions de 2023 : PDF
- Énoncés et solutions de 2024 : PDF
Liens
Enseignant:
Stefan Schwoon