Page du cours de Colin Riba:
lien
Sujets
|
|
- Chapitre 1 : Modelling Concurrent Systems (sujet).
- Chapitre 2 : Linear Time Properties (sujet).
- Chapitre 3 : Fairness (sujet).
- Chapitre 4 : Regular Properties(sujet).
- Chapitre 5 : Linear Temporal Logic (sujet partie 1, partie 2).
- Chapitre 6 : Computation Tree Logic (sujet).
- Chapitre 7 : CTL* and Bisimulation
(sujet).
Assignment due on Thursday, March 24th: DM (correction).