INFO8002 - Topics in Distributed Systems

General information

• Presentation of the course.
• Audience: Master in engineering (computer science), master in computer science.
• Teachers: Pascal Fontaine, Guy Leduc, Laurent Mathy, Christophe Debruyne, Bernard Boigelot.
• Time and place: Second semester of odd academic years, Friday at 13:45, room TP40 (B52).
• Evaluation: Projects and in-course evaluations organized independently by each co-teacher.

Transparencies

The transparencies used for the fifth part of the course (by B. Boigelot) are available here: An introduction to distributed systems verification.

Resources

• The Spin model checker home page.
• Promela models presented in the lectures:
  • Simple example.
  • Mutual exclusion.
  • LCR algorithm.
  • LCR algorithm with an LTL property.