B MODEL ANIMATION FOR EXTERNAL VERIFICATION
WAESELYNCK ; BEHNIA
Type de document
RAPPORT
Langue
anglais
Auteur
WAESELYNCK ; BEHNIA
Résumé / Abstract
CE DOCUMENT TRAITE DE LA VERIFICATION EXTERNE DU LOGICIEL DEVELOPPE PAR LA METHODE FORMELLE B. IL EXAMINE L¹APPORT DE L¹ANIMATION DU MODELE B ET DU TEST DU CODE.