Concepts et Model Checking – 2025
Les transparents
- transparents du cours : PDF (dernière mise à jour : 29 janvier)
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)
Liens
Enseignant:
Stefan Schwoon