数据集概述
本数据集是TACAS'25论文《性能启发式GR(1)可实现性检查与相关分析》的配套实验材料，包含实验测试文件、结果数据、分析文档及环境配置文件，为复现论文实验及验证方法性能提供支持。
文件详解
- 文档类文件：
- LICENSE.txt：TXT格式，包含BSD 3-Clause开源许可协议内容，涉及版权归属与使用条款
- README.txt：TXT格式，提供实验材料的内容说明、结构介绍及使用指引
- Artifact Guide.pdf：PDF格式，实验材料的详细使用指南，含操作步骤与文档说明
- 压缩包文件：
- test.zip：压缩包格式，实验测试相关文件
- results.zip：压缩包格式，实验结果数据，包含CSV格式的结果文件
- requirements.zip：压缩包格式，实验环境配置依赖文件
- analysis.zip：压缩包格式，分析相关的文件
- data.zip：压缩包格式，实验所用数据文件
适用场景
- 形式化方法研究：复现GR(1)可实现性检查的性能启发式方法实验
- 软件工程实验：验证性能优化策略在形式化验证工具中的效果
- 学术论文辅助：支持TACAS'25相关论文的实验结果验证与方法复现
- 工具性能分析：分析不同启发式策略对GR(1)检查工具效率的影响
