Garavel-Lang-Mateescu-Serwe-07

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

Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe

Proceedings of the 19th International Conference on Computer Aided Verification CAV 2007, July 2007

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.

5 pages
PDF

PostScript
Slides of H. Garavel's lecture at CAV'2007
PDF