TD de Sémantique et Vérification

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 24^th: DM (correction).