Master Informatique 1
Conceptions Formelles
Année 2008/2009

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
  • Les transparents des TDs (pdf).
  • Les transparents des TDs au format poly (pdf).
• Quelques exemples AltaRica
  • L'ascenseur.
  • Le jeu de Nim. La nouvelle version est déterministe et le calcul des stratégies avec "project" est correct.
• Le projet (contrôle continu). Date limite de remise : lundi 9 mars à 12 heures par mail.
  • Le sujet (.tar.gz).
• L'examen.
  • Le sujet.
  • Le corrigé.

Module Raffinement et preuves

• Le cours de Pierre Castéran

Autres années

• Année courante.
• ...
• Année 2007-2008.