Skip to Main content Skip to Navigation

An overview of CADP 2001

Hubert Garavel 1 Frédéric Lang 1 Radu Mateescu 1
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 6:34:26 PM
Last modification on : Friday, February 4, 2022 - 3:21:44 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:52:42 PM


  • 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⟩



Record views


Files downloads