Techniques de vérification et de validation
- Enseignant: Michael Blondin
- Plan de cours:
- Horaire:
- mercredi: 15h30 à 16h20 au D3-2031
- jeudi: 08h30 à 10h20 au D3-2029
- Disponibilités:
- Par courriel
- Sans rendez-vous à mon bureau (D4-1024-1):
- jeudi de 15h00 à 16h00: chaque semaine de cours
- lundi de 13h00 à 14h00: chaque veille d'une remise de devoir
- autre moment si ma porte est entrouverte
- Avec rendez-vous à mon bureau ou sur Teams
Annonces
- Vous êtes encouragé·e·s à remplir la rétroaction de mi-session (29 oct. au 5 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) + les fiches récapitulatives qui seront annexées à l'examen
- Fiches récap.: diaporama | 3 fiches par page | voir annexe pour celles avec liens cliquables
- Examens antérieurs: A24 | A24 (sol.) | A23 | A23 (sol.) | A22 | A22 (sol.)
- 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: similaire mais pas nécessairement identique à 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 23 sep.)
- Devoir 2 (notes et corrections affichées sur Genote et Turnin le 6 oct.)
- Devoir 3 (notes et corrections affichées sur Genote et Turnin le 6 nov.)
- Devoir 4 (notes et corrections affichées sur Genote et Turnin le 18 nov.)
- Devoir 5