数据集概述
本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。
文件详解
- 文件名称: Lang-Mateescu-Mazzanti-19.pdf，文件格式: PDF
- 内容: 含附录的论文全文，附录包含引理和定理的证明，以及TFTP示例的详细实验结果
- 文件名称: TFTP.zip，文件格式: ZIP
- 内容: 包含论文4.1节TFTP协议示例的模型、属性和验证脚本
- 文件名称: RERS.zip，文件格式: ZIP
- 内容: 包含论文4.2节RERS 2018挑战赛并行基准测试的模型、属性和验证脚本
- 文件名称: README，文件格式: 无扩展名
- 内容: 数据集说明文档，介绍数据背景与各文件内容
适用场景
- 形式化方法研究: 验证组合式并发系统验证方法的有效性与可行性
- 协议验证实践: 基于TFTP协议示例开展并发系统模型验证实验
- 基准测试分析: 利用RERS 2018挑战赛数据集评估验证工具性能
- 学术论文复现: 复现论文中的实验结果与理论证明过程
- 并发系统验证教学: 作为教学案例展示组合式验证技术的应用
