RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet PROTHEO
Contraintes, Déduction Automatique et Preuve de Propriétés de Logiciels
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Nancy
Mots-clés : spécification formelle, vérification du
logiciel, démonstration automatique, mécanisation de la
déduction, résolution de contraintes, réécriture