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

Hubert Garavel

Rapport Année : 1998

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

(1)

1

Hubert Garavel

Fonction : Auteur
PersonId : 183117
IdHAL : hubert-garavel
IdRef : 076435350

System validation - Research and applications

Mots clés

FORMAL METHODS MODEL-CHECKING ON-THE-FLY VERIFICATION REACHABILITY ANALYSIS SIMULATION SOFTWARE SOFTWARE ENGINEERING TEST GENERATION TESTING /TRANSITION SYSTEMS VALIDATION VERIFICATION

Domaines

Autre [cs.OH]

Fichier principal

RR-3352.pdf (337.43 Ko)

Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00073337

Soumis le : mercredi 24 mai 2006-12:34:33

Dernière modification le : jeudi 4 avril 2024-21:37:56

Archivage à long terme le : dimanche 4 avril 2010-21:06:45

Dates et versions

inria-00073337 , version 1 (24-05-2006)

Identifiants

HAL Id : inria-00073337 , version 1

Citer

Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. RR-3352, INRIA. 1998. ⟨inria-00073337⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA INRIA-RRRT LIG INRIA2 LARA LIG_SIDCH

232 Consultations

564 Téléchargements

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

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager