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 14:00 to 18:00, R18 room
(B28).
First course: Wednesday February 12th, 14:00. - 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.