Cours de DEA / MASTER II

Spécification par modèles et Développement rigoureux

Quelques sujets d'examens :

• Décembre 94 : sujet,
• Mars 97 : sujet,
• Mars 98 : sujet,
• Décembre 99 : sujet,
• Décembre 01 : sujet,
• Décembre 03 : sujet (ps), sujet (pdf), corrigé (ps), corrigé (pdf),

Polycopié sur B (Ecole des Jeunes Chercheurs en Programmation - 2007) : (pdf)
Transparents B classique : cliquer (pdf)
Transparents B événementiel : cliquer (pdf)

Assistants de preuve

Memento du démonstrateur interactif de l'AtelierB : version ps.gz  version pdf
Exemples de conduite de preuves interactives : version ps.gz  version pdf