数据集概述
本数据集为发表于FMSD 2022的相关论文配套实验数据，记录了基于IMITATOR 2.9.2分布式版本开展的实验结果，实验环境为两台Intel Xeon Silver 4114服务器（共20核、96GiB内存），运行Ubuntu 16.04 LTS系统。数据集以压缩包形式提供，无目录结构，总计包含一个文件。
文件详解
- 文件名称：FMSD22-data.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内包含论文"Distributed parametric model checking timed automata under non-Zenoness assumption"提及的实验数据，具体内容未提供预览，推测涵盖分布式参数模型检查的运行日志、性能指标或结果统计等实验相关数据。
数据来源
论文"Distributed parametric model checking timed automata under non-Zenoness assumption"（发表于Formal Methods in System Design, 2022）
适用场景
- 形式化方法验证研究：用于分析非Zenoness假设下时间自动机分布式参数模型检查的算法性能与有效性。
- 模型检查工具优化：基于实验数据探究IMITATOR工具分布式版本的资源利用效率与可扩展性。
- 系统设计形式化验证：为时间自动机相关的系统设计验证提供实验数据支撑与方法参考。
- 分布式算法性能评估：研究分布式环境下参数模型检查任务的并行处理能力与时间开销。
