-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 104 28
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
-
随机化在CEGAR框架中影响的初步分析论文补充报告数据集
2025年12月6日 30 132 11
数据集概述 该数据集是论文《随机化在CEGAR框架中影响的初步分析》的补充报告资料，包含支持论文分析的模型数据、统计分析脚本及报告文档，为理解CEGAR框架中随机因素对验证结果的影响提供数据支持。 文件详解 数据文件（CSV格式）：...
-
TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据
2025年12月6日 30 92 52
数据集概述 本数据集是论文《TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net》的复现包，该论文已被ATVA 2025会议接收，包含用于验证论文实验结果的工具相关资源。 文件详解 文件名称: ATVA-2025-artifact.zip 文件格式: ZIP (.zip)...
-
ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式
2025年12月5日 30 138 93
数据集概述 该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...
