-
EL证明形式与三种演算实验资源数据集2025
2025年12月8日 30 156 58
数据集概述 该数据集包含论文《The Shape of EL Proofs: A Tale of Three Calculi - DL25》中实验所用的材料，以压缩包形式存储，还附带说明实验运行方法的README文件，为相关研究提供实验资源支持。 文件详解 文件名称：experiment-DL2025.zip 文件格式：ZIP压缩包...
-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 84 43
数据集概述 该数据集为论文《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 26 24
数据集概述 该数据集是论文《随机化在CEGAR框架中影响的初步分析》的补充报告资料，包含支持论文分析的模型数据、统计分析脚本及报告文档，为理解CEGAR框架中随机因素对验证结果的影响提供数据支持。 文件详解 数据文件（CSV格式）：...
-
TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据
2025年12月6日 30 18 7
数据集概述 本数据集是论文《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 8 3
数据集概述 该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...
