|
| Final Report of the COST-247 Action |
Demonstration of the CAESAR/ALDEBARAN toolbox
Hubert Garavel
| INRIA Rhone-Alpes / Dyade |
| 655, avenue de l'Europe |
| 38330 MONTBONNOT ST MARTIN |
| FRANCE |
| tel: +(33) 4 76 61 52 24 |
| fax: +(33) 4 76 61 52 52 |
| E-mail: hubert.garavel@inria.fr |
CADP (CAESAR/ALDEBARAN Development Package) is a toolbox for protocol engineering. It offers a wide range of functionalities, from interactive simulation to the most recent formal verification techniques. CADP is jointly developped by the VASY action at INRIA Rhone-Alpes / DYADE and the Verimag laboratory. It is dedicated to the efficient compilation, simulation, formal verification, and testing of descriptions written in the ISO language LOTOS [ISO standard 8807].
This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).
COST-247 Working Group(s): 1-2
Web links: http://vasy.inria.fr
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page