M2Pro: Génie Logiciel Methodes Formelles pour Protocoles et Architectures

All courses will take place at PUIO, B210, usually 9:00 - 12:00.


Exam : 26.11 9:00 - 12:00, Bat 336 sous sol, 173 - 197.


Bibliography:


  • [1] Baier, Katoen: "Principles of Model Checking", MIT Press, 2008. ISBN 978-0-262-02649-9
  • [2] Clarke, Grumberg, Peled: Model Checking. MIT Press, 2000. ISBN 0-262-03270-8
  • [3] B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen: Systems and Software Verification: Model-Checking Techniques and Tools, ISBN 3-540-41523-8