Is CADP an Applicable Formal Method?

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

CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.

In Mario Gleirscher, Jaco van de Pol and Jim Woodcock: Proceedings First Workshop on Applicable Formal Methods (AppFM 2021), virtual, 23rd November 2021, Electronic Proceedings in Theoretical Computer Science 349, pp. 1–11.
Published: 16th November 2021.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: