General information
- Presentation of the course.
- Audience: Master in engineering (computer science), master in computer science, 3rd cycle students.
- Time and place: Second semester. The schedule and location of the lectures will be fixed during the semester, in order to accommodate the constraints of all students.
- 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.