Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/inria-00069920
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:34:26 PM
Last modification on : Thursday, November 19, 2020 - 1:00:27 PM
Long-term archiving on: : Saturday, April 3, 2010 - 9:52:42 PM

Identifiers

  • HAL Id : inria-00069920, version 1

Collections

Citation

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

Share

Metrics

Record views

492

Files downloads

420