数据集概述
本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。
文件详解
- 归档文件1：
- 文件名称：benchmarks.zip
- 文件格式：ZIP
- 字段映射介绍：包含扩展参数化时间自动机的基准模型文件及对应的属性描述文件
- 归档文件2：
- 文件名称：full.zip
- 文件格式：ZIP
- 字段映射介绍：包含所有基准内容、预期结果文件、生成的PDF图表文件，以及一个独立网页文件（功能类似www.imitator.fr/static/library.html），用于汇总所有基准信息
数据来源
TAP 2021论文"A Benchmarks Library for Extended Parametric Timed Automata"
适用场景
- 形式化方法研究：用于扩展参数化时间自动机的模型验证算法开发与性能测试
- 模型检测工具评估：为IMITATOR等模型检测工具提供标准化基准，验证工具的准确性与效率
- 学术对比实验：支持不同扩展参数化时间自动机验证方法的结果对比与分析
- 教育与教学实践：作为形式化方法课程的教学案例，帮助理解扩展参数化时间自动机的验证流程
