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

Hubert Garavel

Reports Year : 1998

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

(1)

1

Hubert Garavel

Function : Author
PersonId : 183117
IdHAL : hubert-garavel
IdRef : 076435350

System validation - Research and applications

Keywords

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

Domains

Other [cs.OH]

Fichier principal

RR-3352.pdf (337.43 Ko)

Rapport De Recherche Inria : Connect in order to contact the contributor

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

Submitted on : Wednesday, May 24, 2006-12:34:33 PM

Last modification on : Thursday, April 4, 2024-9:37:56 PM

Long-term archiving on: Sunday, April 4, 2010-9:06:45 PM

Dates and versions

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

Identifiers

HAL Id : inria-00073337 , version 1

Cite

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

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

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share