Is CADP an Applicable Formal Method?
arXiv:2111.08203v13 citations
Originality Synthesis-oriented
AI Analysis
This addresses the practical usability of formal methods for researchers and practitioners in concurrency theory.
The paper investigates whether CADP qualifies as an applicable formal method, based on author experience and user feedback, concluding it is applicable in practice.
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.