TD de Sémantique et Vérification

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).