-
未来条件指定与验证工具制品包
数据集概述 本数据集包含用于“未来条件指定与验证”研究的工具制品包，提供了Docker镜像部署说明及实验结果复现步骤，支持相关研究的验证与工具试用，涉及医学CT相关语义关键词。 文件详解 文件名称: README.md 文件格式: .md 内容说明: 包含Docker镜像拉取与运行命令、实验结果复现步骤（如生成论文表3）等，指导工具部署与验证。...
-
正式表示的PDDL规划域数据集
数据集概述 该数据集存储扩展了域范围目标和合法实例约束的PDDL域文件，符合特定形式化方法，包含用于经典规划领域独立实例生成研究的版本，为自动化规划领域的相关研究提供数据支持。 文件详解 文件名称：aibasel/formally-represented-domains-v1.0.zip 文件格式：ZIP压缩包...
-
TACAS_25论文实验材料_性能启发式GR_1_可实现性检查与相关分析
数据集概述 本数据集是TACAS'25论文《性能启发式GR(1)可实现性检查与相关分析》的配套实验材料，包含实验测试文件、结果数据、分析文档及环境配置文件，为复现论文实验及验证方法性能提供支持。 文件详解 文档类文件： LICENSE.txt：TXT格式，包含BSD 3-Clause开源许可协议内容，涉及版权归属与使用条款...
-
欧洲与北美可靠系统工程形式化方法专业人士调查补充材料
数据集概述 本数据集为“欧洲与北美可靠系统工程形式化方法专业人士调查”的补充材料，包含问卷原始副本、特定问题的详细分析、数据可视化及相关工作分析，支持对形式化方法应用现状的深入理解。 文件详解 文件名称: suppl-all.pdf 文件格式: PDF 内容概述:...
-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集
数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
-
组合式并发系统验证补充材料_2019
数据集概述 本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。 文件详解 文件名称:...
-
基于CEGAR模型检查高效策略论文补充材料
数据集概述 本数据集是论文《基于CEGAR模型检查高效策略》的补充材料，包含详细报告和可复现测量分析的全部制品，为论文研究内容提供额外支持。 文件详解 文件名称: report.html，文件格式: HTML，内容为论文相关的详细报告 文件名称: artifact.tar.gz，文件格式: GZ压缩包，包含用于复现论文测量与分析的所有制品 适用场景...
-
Theta抽象验证并发C程序数据集
数据集概述 本数据集为论文“Verifying Concurrent C Programs with Abstraction in Theta”的配套数据，包含7篇PDF文档、1个压缩结果文件及1个Python代码文件，支撑并发C程序抽象验证研究。 文件详解 文档文件（.pdf格式，共7个）：...
-
伪布尔模型计数合成实例数据集
数据集概述 该数据集包含用于论文《On Top-Down Pseudo-Boolean Model Counting》的伪布尔模型计数合成实例，由现有实例修改而来，为伪布尔模型计数相关研究提供实验数据支持。 文件详解 文件名称: cost-graph.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
-
SMT公式高效体积计算数据集KR_25
数据集概述 该数据集包含复现KR-25会议论文《Efficient Volume Computation for SMT Formulas》结果所需的必要数据，主要由基准测试数据和计算集群生成的日志文件组成，为验证SMT公式体积计算方法的效率提供数据支持。 文件详解 文件名称：benchmarks.zip 文件格式：ZIP压缩包...
-
铁路形式化方法系统性映射研究_主要研究列表与数据提取
数据集概述 本数据集包含铁路形式化方法系统性映射研究的主要研究论文列表及数据提取内容，辅以研究预印本，为该领域文献分析提供基础资料。 文件详解 FMRail-primary-studies-data-extraction.xlsx：Excel格式文件，包含系统性映射研究中分析的论文列表及数据提取内容。 PREPRINT-...
-
代数数据类型的快速理论探索程序变换可复现性包
数据集概述 本数据集是一个可复现性包，包含论文中提出的工具LemmaCalc、基准测试文件、TheSy二进制文件、适用于Linux系统的Z3二进制文件及实验复现脚本，支持论文中图表1的主要结果及算法1至3的实现验证。 文件详解 LICENSE: 无扩展名文件，包含数据集的许可协议说明。 README.md:...
-
抽象状态机规范中语言构造可理解性受控实验数据集
数据集概述 本数据集包含一项关于抽象状态机规范中语言构造可理解性的受控实验相关数据与制品，涵盖文档、表单及R脚本，为实验结果的复现提供支持，涉及状态和行为结构化的语言构造研究。 文件详解 文档类文件（共5个PDF文件）： info.pdf：PDF格式，可能包含实验基本信息或说明文档 form_ifaces.pdf：PDF格式，可能是与接口相关的实验表单...
-
带OCL不变量注释的UML类图示例数据集
数据集概述 该数据集包含11个带OCL不变量注释的UML类图示例，旨在作为工具测试套件，用于验证UML/OCL类图中约束的可满足性。数据采用USE文本格式描述类图元素及OCL约束，每个模型配有.properties文件支持有限可满足性检查。 文件详解 文件名称: examples.zip 文件格式: ZIP压缩包 内容说明:...
-
区块链互操作性模式形式化方法数据集
数据集概述 本数据集是研究论文《An Approach to Formalise Blockchain Interoperability Patterns》的复现包，包含基于Event-B形式化的网关式时间转移模式规范、模拟验证原型及Event-B项目文件，支持区块链互操作性模式的验证与复用研究。 文件详解 文件名称：towards-...
-
ICSE_23论文配套工件_反应式综合规范触发条件
数据集概述 该数据集为ICSE'23会议论文《反应式综合规范触发条件》的配套工件，包含论文相关的说明文档与压缩文件，支持论文研究内容的复现与验证。 文件详解 文件名称：Artifact README.pdf 文件格式：PDF 内容说明：论文配套工件的说明文档，包含工件使用方法、内容结构等背景信息 文件名称：TriggersArtifact.zip...
-
ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式
数据集概述 该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...
-
GR_1_综合与强化学习优化关键网络物理系统集成研究论文工件
数据集概述 本数据集为同名研究论文的配套工件，聚焦于GR(1)综合与强化学习在关键网络物理系统优化中的集成应用，包含论文相关的研究成果文件，为理解该技术融合方案提供支持。 文件详解 文件名称: Artifacts.zip 文件格式: ZIP（.zip） 文件内容: 压缩包形式的研究论文工件，具体内部文件结构及内容需解压后查看，无公开预览信息。 适用场景...
-
TPTPv7-4-0公式库数据集-filipbartek
TPTPv7-4-0公式库数据集-filipbartek 数据来源：互联网公开数据 标签：逻辑推理，定理证明，数据集，人工智能，自动推理，形式化方法，计算机科学，逻辑学 数据概述： 该数据集包含了TPTP（Thousands of Problems for Theorem Provers，定理证明器问题集）...
