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

Hubert Garavel

Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, March 1998

Full version available as INRIA Research Report RR-3352.


This report presents the OPEN/CAESAR software architecture, which allows to integrate in a common framework different languages/formalisms for the description of concurrent systems, as well as tools with various functionalities, such as random execution, interactive simulation, on-the-fly and exhaustive verification, test generation, etc. These principles have been fully implemented, leading to an open, extensible, and well-documented programming environment, which allows tools to be developed in a modular framework, independently from any particular description language.

18 pages