Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Monday, November 19, 2007 - 5:58:15 PM
Last modification on : Thursday, October 21, 2021 - 3:51:29 AM
Long-term archiving on: : Monday, April 12, 2010 - 2:44:16 AM


Files produced by the author(s)


  • HAL Id : inria-00189021, version 1



Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163. ⟨inria-00189021⟩



Les métriques sont temporairement indisponibles