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.
- C1 15.9. 13:30 [BW]: Introduction: Parallel and Concurrent Systems
- C2 17.9. 9:00[BW] : Part II
- TD1 22.9 13:30[ML] : Exercice 1
- C3 24.9. 9:00[BW] : Part III
- TD2 29.9 13:30[ML] : Exercice 2
- C4 1.10. 9:00[BW] : Part IV
- TD3 6.10 13:30[ML] : Exercice 3
- C5 8.10. 9:00[BW] : Part-V
- TD4 13.10 13:30[ML] : Exercice 4
- C6 15.10. 9:00[BW] : Part-VI
- TD5 20.10 13:30[ML] : Exercice 5
- C7 22.10. 9:00[BW] :
- TD6 27.10 14:00[ML] : Exercice 6
- C8 29.10. 9:00[BW] :
- Project 22.10 - 17.12: Project-Description
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