数据集概述
该数据集是论文《随机化在CEGAR框架中影响的初步分析》的补充报告资料，包含支持论文分析的模型数据、统计分析脚本及报告文档，为理解CEGAR框架中随机因素对验证结果的影响提供数据支持。
文件详解
- 数据文件（CSV格式）：
- data.csv：存储实验结果数据，字段包括模型路径、领域、优化策略、搜索方法、随机变量、验证结果、耗时、迭代次数等关键指标
- models.csv：记录模型的结构信息，字段包括模型路径、输入数、锁存器数、与门数、变量数、位置数、边数等特征
- 分析与报告文件：
- report.Rmd：R语言markdown格式的分析脚本，用于生成统计分析报告
- report.pdf：PDF格式的补充报告文档，呈现完整分析结果
- report.html：HTML格式的补充报告文档，便于在线浏览
数据来源
布达佩斯技术与经济大学测量与信息系统系
适用场景
- 形式化验证研究：分析CEGAR框架中随机化策略对验证效率与结果的影响
- 模型验证优化：探究不同搜索方法与优化策略在验证任务中的表现差异
- 统计分析应用：作为模型验证领域统计分析方法应用的案例数据
- 计算机科学方法论研究：研究随机因素在自动验证工具性能优化中的作用机制
