An overview of CADP 2001 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2001

An overview of CADP 2001


CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of state-of-the-art functionalities assisting the user throughout the design process: compilation, rapid prototyping, interactive and guided simulation, verification by equivalence/preorder checking and temporal logic model-checking, and test generation. The languages, models, and verification techniques used in CADP have a broad application domain, allowing to deal with communication protocols, distributed systems, embedded software, mobile telephony, asynchronous hardware, cryptography, security, human-computer interaction, etc. CADP is currently used both in industrial companies and academic institutions for research and teaching purposes. During the last years, over 50 applications and case-studies performed using CADP have been reported.
Fichier principal
Vignette du fichier
RT-0254.pdf (154.86 Ko) Télécharger le fichier

Dates and versions

inria-00069920 , version 1 (19-05-2006)


  • HAL Id : inria-00069920 , version 1


Hubert Garavel, Frédéric Lang, Radu Mateescu. An overview of CADP 2001. [Research Report] RT-0254, INRIA. 2001, pp.15. ⟨inria-00069920⟩
314 View
254 Download


Gmail Facebook Twitter LinkedIn More