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



