CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes

Hubert Garavel 1 Frédéric Lang 1 Radu Mateescu 1 Wendelin Serwe 1
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : CADP (Construction and Analysis of Distributed Processes) is a toolbox for specification, rapid prototyping, verification, testing, and performance evaluation of asynchronous systems (concurrent processes with message-passing communication). The developments of CADP during the last five years led to a new release named CADP 2006 "Edinburgh" (as a tribute to the achievements in concurrency theory of the Laboratory for Foundations of Computer Science) that supersedes the previous version CADP 2001.
Type de document :
Communication dans un congrès
Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00189021
Contributeur : Radu Mateescu <>
Soumis le : lundi 19 novembre 2007 - 17:58:15
Dernière modification le : mercredi 11 avril 2018 - 01:56:29
Document(s) archivé(s) le : lundi 12 avril 2010 - 02:44:16

Fichiers

Garavel-Lang-Mateescu-Serwe-07...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00189021, version 1

Collections

Citation

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science. 〈inria-00189021〉

Partager

Métriques

Consultations de la notice

398

Téléchargements de fichiers

423