Précédent : Présentation et objectifs généraux Remonter : Spécifications et preuves de programmes Suivant : Environnement interactif de preuves