数据集概述
本数据集为TACAS 2020会议论文的补充材料，包含论文所有定理的证明、RERS 2019实验的详细描述，以及RERS 2018、RERS 2019和TFTP实验的实际数据，共7个文件。
文件详解
- README.txt: TXT格式，说明该数据集是TACAS 2020会议论文的配套档案，提及论文作者及会议信息
- Lang-Mateescu-Mazzanti-20.pdf: PDF格式，可能为TACAS 2020会议论文原文
- Lang-Mateescu-Mazzanti-20-complement.pdf: PDF格式，包含论文所有定理的证明内容
- RERS-18.zip: ZIP格式，包含RERS 2018实验的实际数据
- RERS-19.zip: ZIP格式，包含RERS 2019实验的实际数据及详细描述
- TFTP.zip: ZIP格式，包含TFTP实验的实际数据
- Tools.zip: ZIP格式，可能包含实验相关工具文件
适用场景
- 形式化方法研究: 验证论文中定理证明的正确性，复现相关实验
- 时态逻辑分析: 研究弱模态与强模态结合的时态逻辑及其应用
- 软件工程实验: 分析RERS 2018、RERS 2019和TFTP实验的结果数据
- 学术论文补充: 作为TACAS 2020会议论文的配套材料，辅助理解论文内容
