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.
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)
Loading...