Cours Tronc Commun M2 "Vérification Algorithmique"

Références bibliographiques:

• Livre "Model Checking", Edmund M. Clarke and Orna Grumberg and Doron A. Peled, MIT Press, 1999.
• Cours "Computer Aided Verification" de Rajeev Alur
• Cours "Model Checking " de Thomas Henzinger
• Livre "Vérification de Logiciels", Ouvrage collectif, Coordination Philippe Schnoebelen, Vuibert.

1ière partie: Stephan Merz

Clicker ici

2ième partie: Olivier Bournez

• Séance 1:
  • Généralités et Rappels sur la vérification algorithmique.
  • Explosion Combinatoire.
• Séance 2:
  • Abstraction. Minimisation de Graphes.
  • Projection sur ensemble de variables
  • Gestion des Symétries
• Séance 3:
  • Raffinement automatique de partitions
• Séance 4:
  • Pouvoir de distinction des logiques
• Séance 5:
  • Pouvoir de distinction des logiques (suite).
  • Préordres entre structures (jusqu'à ???)
• Séance 6:
  • Préordres entre structures (suite)
  • Automates temporisés.
• Séance 7:
  • Automates temporisés (suite).
  • Matrices de Différences bornées
• Bonus Tracks (cours donnés certaines années)
  • Raisonnements Compositionnels
  • Réductions d'ordre partiel
  • Systèmes Hybrides
  • Vérification de systèmes probabilistes (ces slides sont dans un état provisoire)

Auteur. Olivier Bournez
Pour toute remarque: Olivier.Bournez@loria.fr