Total: 1
Authors: 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.
Subjects: Software Engineering , Distributed, Parallel, and Cluster Computing , Logic in Computer Science , Programming Languages
Publish: 2021-11-16 03:08:44 UTC
Include(OR):
Exclude:
Search
Filter
Highlight
Stared Paper(s):
#1 Is CADP an Applicable Formal Method?
Export
Magic Token:
Kimi Language:
Desc Language:
Save
Bug report? Issue submit? Please visit:
Github: https://github.com/bojone/papers.cool
Please read our Disclaimer before proceeding.
For more interesting features, please visit kexue.fm and kimi.ai.