CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

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

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.
Fichier principal
Vignette du fichier
Garavel-Lang-Mateescu-Serwe-07.pdf (89.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00189021 , version 1 (19-11-2007)

Identifiers

  • HAL Id : inria-00189021 , version 1

Cite

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⟩
216 View
573 Download

Share

Gmail Facebook Twitter LinkedIn More