Grande Salle de VERIMAG
3 mars 2011 - 14h00
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processe
par Hubert Garavel de INRIA
Abstract: CADP (Construction and Analysis of Distributed Processes) is a comprehensive
software toolbox that implements the results of concurrency theory. Started
in
the mid 80s, CADP has been continuously developed by adding new tools and
enhancing existing ones. Today, CADP benefits from a worldwide user
community,
both in academia and industry. This talk presents the latest release CADP
2010,
which is the result of a considerable development effort spanning the last
four
years. The talk first describes the theoretical principles and the modular
architecture of CADP, which has inspired several other recent model
checkers.
The paper then reviews the main features of CADP 2010, including compilers
for
various formal specification languages, equivalence checkers, model
checkers,
performance evaluation tools, and parallel verification tools running on
clusters and grids.
