Is CADP an Applicable Formal Method?
Hubert Garavel, Fr\'ed\'eric Lang, Radu Mateescu, Wendelin Serwe
TL;DR
This paper evaluates CADP, a concurrency theory toolbox, to determine its practicality as a formal method based on user feedback and authors' experience.
Contribution
It provides an assessment of CADP's applicability as a formal method through empirical insights and user feedback analysis.
Findings
CADP is considered applicable by many users.
User feedback highlights strengths and limitations.
The authors' experience supports CADP's practical use.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsManufacturing Process and Optimization