Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms

The CADP Toolbox

Participants : Hubert Garavel [correspondent] , Frédéric Lang, Radu Mateescu, Wendelin Serwe.

We maintain and enhance CADP (Construction and Analysis of Distributed Processes – formerly known as CAESAR/ALDEBARAN Development Package[1], a toolbox for protocols and distributed systems engineering ( In this toolbox, we develop and maintain the following tools:

The CADP toolbox also includes TGV (Test Generation based on Verification), which has been developed by the VERIMAG laboratory (Grenoble) and the VERTECS project-team at Inria Rennes – Bretagne-Atlantique.

The CADP tools are well-integrated and can be accessed easily using either the EUCALYPTUS graphical interface or the SVL  [36] scripting language. Both EUCALYPTUS and SVL provide users with an easy and uniform access to the CADP tools by performing file format conversions automatically whenever needed and by supplying appropriate command-line options as the tools are invoked.