Techniques de vérification et de validation
- Enseignant: Michael Blondin
- Plan de cours
- Horaire: cours asynchrone à distance
- Examen final: mercredi 16 déc. de 9h00 à 13h00 en ligne (3h + 1h pour la remise sur Turnin)
Annonces
- Examen final
- Vous êtes encouragé·e·s à remplir la rétroaction de mi-session (26 oct. au 2 nov., anonyme et non officielle)
- 28 août: Veuillez svp compléter ce formulaire
Calendrier
Matériel
Références
- Capsules vidéos
- Notes de cours
- Séances d'exercices (en rediffusion)
- Fichiers complémentaires
- Diaporama d'introduction
Matériel pour l'étude
- Structure de l'examen final de 2020
- Examen final de 2019: énoncé | solutions
- Fiches récapitulatives: diaporama | 3 × page | voir annexe des notes pour celles avec liens cliquables
- Exercices: voir la fin de chaque chapitre des notes (plusieurs solutions sont en annexe)
Références complémentaires
- Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon: Efficient algorithms for model checking pushdown systems. Proc. 12th International Conference on Computer Aided Verification (CAV), pp. 232–247, 2000.
- Henrik Reif Andersen: An Introduction to Binary Decision Diagrams, 1997.
- Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. MIT Press, 2008. (Errata )
- Javier Esparza: Automata theory: An algorithmic approach, 2019.