Concepts et Model Checking – 2023
Les transparents
- transparents du cours : PDF (dernière mise à jour : 13 février)
- transparents de l'an dernier : PDF
Les transparents sont issus d'une traduction en français des slides élaborés par Javier Esparza, Keijo Heljanko et Stefan Schwoon.
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
Enseignant:
Stefan Schwoon