Olivier Bournez
Main.Indexm21 (old fashioned version) / MainIndexm21 (more fancy version of it)

Indexm21

click here for a more fancy version of same webpage

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


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