Techniques de vérification et de validation
- Enseignant: Michael Blondin
- Plan de cours
- Horaire:
- mardi: 16h30 à 17h20 au D3−2029
- mercredi: 13h30 à 15h20 au D3−2029
- Examen final: vendredi 17 déc. mardi 21 déc. de 9h00 à 12h00 au D4-2024
- Disponibilités:
- À mon bureau sans rendez-vous: lundi de 14h30 à 15h30 et mardi de 12h30 à 13h30
- Par courriel
- À mon bureau sans rendez-vous si la porte est entrouverte
- À mon bureau ou sur Teams avec rendez-vous
Annonces
- Vous êtes encouragé·e·s à remplir la rétroaction de mi-session (2 nov. au 9 nov., anonyme et non officielle)
Calendrier
Matériel
Références
Matériel d'étude
- Structure de l'examen
- Matériel permis: une seule feuille de notes recto verso au format 8½" × 11" (rédigée à la main ou l'ordinateur)
- Fiches récapitulatives: diaporama | 3 fiches par page | voir annexe des notes pour celles avec liens cliquables
- Examens antérieurs: A20 (énoncé) | A20 (solutions) | H19 (énoncé) | H19 (solutions)
- Exercices: voir la fin de chaque chapitre des notes (plusieurs solutions sont en annexe)
Références complémentaires
- Capsules vidéos de 2020 (attention: contenu similaire mais pas nécessairement identique à celui de cette session)
- Notes de cours de 2020 (attention: similaires mais pas identiques à celles de cette session)
- 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 )
Devoirs
- Devoir 1 (notes et corrections affichées sur Genote et Turnin le 27 sep.)
- Devoir 2 (notes et corrections affichées sur Genote et Turnin le 15 oct.)
- Devoir 3 (notes et corrections affichées sur Genote et Turnin le 11 nov.)
- Devoir 4 (notes et corrections affichées sur Genote et Turnin le 26 nov.)
- Devoir 5 (notes et corrections affichées sur Genote et Turnin le 15 déc.)