Concepts et Model Checking – 2024
Les transparents
- transparents du cours : PDF (dernière mise à jour : 18 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
- 12 février: enoncé (PDF)
- 26 février: PDF (enoncé) et ZIP ou TGZ (fichiers pour Spin)
- 4 mars: enoncé (PDF)
- 11 mars: enoncé (PDF)
Examen
- Énoncés et solutions de 2020 : PDF
- Énoncés et solutions de 2021 : PDF
- Énoncés et solutions de 2022 : PDF
- Énoncés et solutions de 2023 : PDF
- Énoncés et solutions de 2024 : PDF
Liens
Enseignant:
Stefan Schwoon