The OPEN/CAESAR Reference Manual

Hubert Garavel

Technical Report. First version issued in May 1992, followed by successive revisions reflecting the progressive enhancements of the OPEN/CAESAR environment.

Abstract:

This report describes the OPEN/CAESAR environment for developing specifications in LOTOS. The OPEN/CAESAR environment is built on the CAESAR tool. Although CAESAR is mainly intended for compilation and exhaustive verification of LOTOS specifications, the OPEN/CAESAR provides for interactive simulation, random simulation, partial verification, on-the-fly verification, sequential code generation, test generation, etc. In a first part, the principles and the architecture of the OPEN/CAESAR environment are explained. In a second part, the interfaces of OPEN/CAESAR modules and libraries and presented.

About 217 pages (as of May 2023).

This report is available as part of the CADP distribution: see file $CADP/doc/pdf/Garavel-92-a.pdf.

The corresponding manual pages are available separately, also in several formats:

• Unix manual pages (see files $CADP/man/manl/caesar_*.l)
• HTML (see files $CADP/man/html/caesar_*.html)
• PDF (see files $CADP/man/pdf/caesar_*.pdf)

The corresponding Application Programming Interfaces can be found in files $CADP/incl/caesar_*.h.

Several useful programs based on OPEN/CAESAR are available (in source code form) in directory $CADP/src/open_caesar.

Finally, there is an overview publication on OPEN/CAESAR online.