General information
- Presentation of the course.
- Audience: Master in engineering (computer science), master in computer science, 3rd cycle students.
- Time and place: Second semester, Wednesday from 13:45 to 17:45,
-1/433 room
(B52).
First lecture, 2026: Wednesday February 11th at 13:45. - Evaluation: Oral exam.
Transparencies
The transparencies used during the course are available here:- Chapters 1 to 6.
- Exercises (the Spin model checker), mutual exclusion example.