Concepts et Model Checking – 2026
Les transparents
- transparents du cours : PDF (dernière mise à jour : 12 janvier)
Les transparents sont issus d'une traduction en français des slides élaborés par Javier Esparza, Keijo Heljanko et Stefan Schwoon.
Examens
- Énoncés et solutions de 2024 : PDF
- Énoncés et solutions de 2025 : PDF
Enseignant:
Stefan Schwoon