CADP: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe · INRIA a CCSD electronic archive server · 2012
Abstract. Cadp (Construction and Analysis of Distributed Processes) is a comprehensive software toolbox that implements the results of con-currency theory. Started in the mid 80s, Cadp has been continuously de-veloped by adding new tools and enhancing existing ones. Today, Cadp benefits from a worldwide user community, both in academia and indus-try. This paper presents the latest release Cadp 2010, which is the result of a considerable development effort spanning the last four years. The paper first describes the theoretical principles and the modular architec-ture of Cadp, which has inspired several other recent model checkers. The paper then reviews the main features of Cadp 2010, including com-pilers for various formal specification languages, equivalence checkers, model checkers, performance evaluation tools, and parallel verification tools running on clusters and grids. 1