-
Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据
2026年1月3日 0 38 32
数据集概述 本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。 文件详解 文件名称：aev.zip 文件格式：ZIP...
-
IMITATOR_Based_非Zenoness假设下分布式参数模型检查时间自动机实验数据_FMSD22
2026年1月1日 30 13 8
数据集概述 本数据集为发表于FMSD 2022的相关论文配套实验数据，记录了基于IMITATOR 2.9.2分布式版本开展的实验结果，实验环境为两台Intel Xeon Silver 4114服务器（共20核、96GiB内存），运行Ubuntu 16.04 LTS系统。数据集以压缩包形式提供，无目录结构，总计包含一个文件。 文件详解...
-
FM_Tools_Release_2_2_Based_形式化方法工具元数据数据集_SV_COMP_2025_Test_Comp_2025
2025年12月27日 30 96 14
数据集概述 本数据集为FM-Tools Release 2.2版本，收集了形式化方法工具的元数据信息，旨在简化形式化方法工具的复用、集成与协作。数据关联SV-COMP 2025和Test-Comp 2025，包含结构化的工具元数据内容，支持形式化方法领域的工具资源管理与分析。 文件详解 文件名称：fm-tools-2.2.zip...
-
PLCspecif许可等价性检查示例模型
2025年12月23日 30 14 10
数据集概述 该数据集包含用于PLCspecif许可等价性检查关系的示例模型，由两个文件组成，分别为说明文档和压缩的示例模型文件，为理解PLCspecif框架下的等价性检查方法提供实践参考。 文件详解 readme.pdf：PDF格式文档，提供数据集的说明信息...
-
TACAS2020_Based_Sharp_Congruences_弱强模态时态逻辑补充材料完整数据
2025年12月23日 30 138 86
数据集概述 本数据集为TACAS 2020会议论文的补充材料，包含论文所有定理的证明、RERS 2019实验的详细描述，以及RERS 2018、RERS 2019和TFTP实验的实际数据，共7个文件。 文件详解 README.txt: TXT格式，说明该数据集是TACAS 2020会议论文的配套档案，提及论文作者及会议信息 Lang-Mateescu-...
-
抽象状态机中接口与特征抽象规范的受控实验数据集
2025年12月22日 30 54 32
数据集概述 该数据集包含一项关于抽象状态机中接口与特征抽象规范的受控实验相关的文档、表单及R脚本，支持实证研究的可重复性验证，为相关技术的实验分析提供数据基础。 文件详解 文档类文件（共4个，PDF格式）： info.pdf：可能包含实验背景、方法或结果概述的说明文档 form_traits.pdf：特征抽象相关的实验表单文件...
-
JavaSMT_SMT_LIB2代码生成器与解析器解释器基准测试结果数据集2023
2025年12月21日 30 50 2
数据集概述 本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。 文件详解 结果数据文件：...
-
未来条件指定与验证工具制品包
2025年12月21日 30 67 58
数据集概述 本数据集包含用于“未来条件指定与验证”研究的工具制品包，提供了Docker镜像部署说明及实验结果复现步骤，支持相关研究的验证与工具试用，涉及医学CT相关语义关键词。 文件详解 文件名称: README.md 文件格式: .md 内容说明: 包含Docker镜像拉取与运行命令、实验结果复现步骤（如生成论文表3）等，指导工具部署与验证。...
-
正式表示的PDDL规划域数据集
2025年12月21日 30 102 2
数据集概述 该数据集存储扩展了域范围目标和合法实例约束的PDDL域文件，符合特定形式化方法，包含用于经典规划领域独立实例生成研究的版本，为自动化规划领域的相关研究提供数据支持。 文件详解 文件名称：aibasel/formally-represented-domains-v1.0.zip 文件格式：ZIP压缩包...
-
TACAS_25论文实验材料_性能启发式GR_1_可实现性检查与相关分析
2025年12月20日 30 4 0
数据集概述 本数据集是TACAS'25论文《性能启发式GR(1)可实现性检查与相关分析》的配套实验材料，包含实验测试文件、结果数据、分析文档及环境配置文件，为复现论文实验及验证方法性能提供支持。 文件详解 文档类文件： LICENSE.txt：TXT格式，包含BSD 3-Clause开源许可协议内容，涉及版权归属与使用条款...
-
欧洲与北美可靠系统工程形式化方法专业人士调查补充材料
2025年12月20日 30 3 0
数据集概述 本数据集为“欧洲与北美可靠系统工程形式化方法专业人士调查”的补充材料，包含问卷原始副本、特定问题的详细分析、数据可视化及相关工作分析，支持对形式化方法应用现状的深入理解。 文件详解 文件名称: suppl-all.pdf 文件格式: PDF 内容概述:...
-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
2025年12月19日 30 124 96
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集
2025年12月15日 30 152 6
数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
-
组合式并发系统验证补充材料_2019
2025年12月15日 30 89 70
数据集概述 本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。 文件详解 文件名称:...
-
基于CEGAR模型检查高效策略论文补充材料
2025年12月14日 30 90 28
数据集概述 本数据集是论文《基于CEGAR模型检查高效策略》的补充材料，包含详细报告和可复现测量分析的全部制品，为论文研究内容提供额外支持。 文件详解 文件名称: report.html，文件格式: HTML，内容为论文相关的详细报告 文件名称: artifact.tar.gz，文件格式: GZ压缩包，包含用于复现论文测量与分析的所有制品 适用场景...
-
Theta抽象验证并发C程序数据集
2025年12月14日 30 94 8
数据集概述 本数据集为论文“Verifying Concurrent C Programs with Abstraction in Theta”的配套数据，包含7篇PDF文档、1个压缩结果文件及1个Python代码文件，支撑并发C程序抽象验证研究。 文件详解 文档文件（.pdf格式，共7个）：...
-
伪布尔模型计数合成实例数据集
2025年12月13日 30 12 11
数据集概述 该数据集包含用于论文《On Top-Down Pseudo-Boolean Model Counting》的伪布尔模型计数合成实例，由现有实例修改而来，为伪布尔模型计数相关研究提供实验数据支持。 文件详解 文件名称: cost-graph.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
SMT公式高效体积计算数据集KR_25
2025年12月13日 30 29 11
数据集概述 该数据集包含复现KR-25会议论文《Efficient Volume Computation for SMT Formulas》结果所需的必要数据，主要由基准测试数据和计算集群生成的日志文件组成，为验证SMT公式体积计算方法的效率提供数据支持。 文件详解 文件名称：benchmarks.zip 文件格式：ZIP压缩包...
-
铁路形式化方法系统性映射研究_主要研究列表与数据提取
2025年12月10日 30 96 5
数据集概述 本数据集包含铁路形式化方法系统性映射研究的主要研究论文列表及数据提取内容，辅以研究预印本，为该领域文献分析提供基础资料。 文件详解 FMRail-primary-studies-data-extraction.xlsx：Excel格式文件，包含系统性映射研究中分析的论文列表及数据提取内容。 PREPRINT-...
-
代数数据类型的快速理论探索程序变换可复现性包
2025年12月9日 30 165 65
数据集概述 本数据集是一个可复现性包，包含论文中提出的工具LemmaCalc、基准测试文件、TheSy二进制文件、适用于Linux系统的Z3二进制文件及实验复现脚本，支持论文中图表1的主要结果及算法1至3的实现验证。 文件详解 LICENSE: 无扩展名文件，包含数据集的许可协议说明。 README.md:...
