inria-00073337, version 1

OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

Hubert Garavel () ¹

N° RR-3352 (1998)

• 1 :  VASY (Dijon) (INRIA Grenoble Rhône-Alpes)
• INRIA

• Domaine : Informatique/Autre
• Mots-clés : FORMAL METHODS / MODEL-CHECKING / ON-THE-FLY VERIFICATION / REACHABILITY ANALYSIS / SIMULATION / SOFTWARE / SOFTWARE ENGINEERING / TEST GENERATION / TESTING /TRANSITION SYSTEMS / VALIDATION / VERIFICATION
• Référence interne : RR-3352

• inria-00073337, version 1
• http://hal.inria.fr/inria-00073337
• oai:hal.inria.fr:inria-00073337
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 12:34:33
• Dernière modification le : Mercredi 31 Mai 2006, 14:24:27