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, room I21 (B28).
- Evaluation: Oral exam.
First session, 2026: Friday May 29th at 8:30, room R75 (B28).
Transparencies
The transparencies used during the course are available here:- Chapters 1 to 6.
- Exercises (the Spin model checker), mutual exclusion example.