|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
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.
Abstract:
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 |  |
 PostScript |