Master Informatique 1
Conceptions Formelles
Année 2007/2008

Module Modélisation et Vérification

• Le cours.
  • Les transparents du cours (pdf).
  • Les transparents du cours au format poly (pdf).
• Les travaux dirigés du groupe 3. Hayssam Soueidan gère les groupes 1 et 2.
  • Les transparents des TDs au format poly (pdf).
• Le projet (contrôle continu) du groupe 3.
  • Le sujet.
• L'examen.
  • Le sujet.
  • Le corrigé.

  ---

  Module Raffinement et preuves
  

  • Le cours de Pierre Castéran
  • Les travaux dirigés
    • TD1 : L'exemple de l'ile
    • TD2 : Les compteurs
    • TD3 : Les compteurs
    • TD4 : Une hotline

  ---

  Autres années

  • Année courante.
  • ...