Is CADP an Applicable Formal Method?
arXiv:2111.08203 · doi:10.4204/EPTCS.349.1
Abstract
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.
arXiv commentIn Proceedings AppFM 2021, arXiv:2111.07538
References in corpus (5)
- Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
- The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
- Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
- A Formal TLS Handshake Model in LNT