TOWARDS A FRAMEWORK FOR TESTING B MODELS

WAESELYNCK ; BEHNIA

Type de document
RAPPORT
Langue
anglais
Auteur
WAESELYNCK ; BEHNIA
Résumé / Abstract
CE RAPPORT PRESENTE LE PROBLEME DE LA VERIFICATION EXTERNE DU LOGICIEL DEVELOPPE PAR LA METHODE FORMELLE B. IL TRAITE DE LA COMPLEMENTARITE DU TEST ET DE LA PREUVE EN METTANT L¹ACCENT SUR LA NECESSITE DE L¹ANIMATION DU MODELE FORMEL B ET LE TEST DU CODE.

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR