An overview of CADP 2001 - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2001

An overview of CADP 2001

Résumé

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
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00069920 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More