Olivier Bournez

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

Page last modified on March 15, 2010, at 09:41 PM