Is CADP an Applicable Formal Method?

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

International Symposium on Formal Methods（2021）

引用 1|浏览20

暂无评分

摘要

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.

查看译文

关键词

cadp,applicable formal method

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要