CADP是一种适用的形式化方法吗？
软件工程
2021-11-17 v1 分布式、并行与集群计算
计算机科学中的逻辑
编程语言
摘要
CADP是一个实现并发理论成果的综合工具箱。本文基于作者的经验以及用户反馈，探讨CADP是否有资格作为一种适用的形式化方法这一问题。
引用
@article{arxiv.2111.08203,
title = {Is CADP an Applicable Formal Method?},
author = {Hubert Garavel and Frédéric Lang and Radu Mateescu and Wendelin Serwe},
journal= {arXiv preprint arXiv:2111.08203},
year = {2021}
}
备注
In Proceedings AppFM 2021, arXiv:2111.07538