数据集 - 海数据

Separation_Logic_无限制效果处理程序实现与测试基准数据

2026年2月6日 30 188 50

数据集概述本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。文件详解文件名称：speration_logic_for_effects.zip 文件格式：ZIP...

ZIP

mCRL2_Based_基于反链的精化检查基准测试数据

2026年1月30日 30 204 55

数据集概述本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。文件详解文件名称：antichain-benchmarks.zip 文件格式：ZIP...

ZIP

mCRL2_Based_符号奇偶游戏动态求解技术对比数据

2026年1月30日 30 151 86

数据集概述本数据集包含一组mCRL2规格和公式，用于比较符号奇偶游戏的多种动态求解技术。这些技术对应论文《On-The-Fly Solving for Symbolic Parity Games》中的研究内容，数据集以压缩包形式提供，可用于验证不同求解方法的性能与效果。文件详解 symbolic-artifact.zip 文件格式：ZIP...

ZIP

IMITATOR_Based扩展参数化时间自动机基准库2_1

2026年1月29日 30 18 3

数据集概述本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。文件详解归档文件1：文件名称：benchmarks.zip 文件格式：ZIP...

ZIP

D_VerT_Source_Storm拓扑形式化验证研究完整数据2017

2026年1月21日 30 54 25

数据集概述本数据集为论文《Formal Verification of Storm Topologies through D-VerT》的配套研究数据，包含论文中展示的UML模型、D-VerT自动生成的时序逻辑模型实例及实验输出文件，用于支持Storm流处理拓扑的形式化验证研究，总计一个压缩文件。文件详解文件名称：SAC2017.zip...

ZIP

Kaki_Concurrent_Update_Synthesis_制品包

2026年1月21日 30 23 17

数据集概述本数据集是论文"Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games"的配套制品包，包含运行Kaki工具、生成实验问题及复现论文结果所需的文件，帮助使用者验证Kaki工具的功能与实验结论。文件详解...

ZIP

Streamlined_GR_1_综合与强化学习融合优化关键信息物理系统数据

2026年1月20日 30 180 70

数据集概述本数据集围绕GR(1)综合与强化学习的融合展开，旨在优化关键信息物理系统。核心内容为一份压缩文件，未明确划分训练/测试、数据/标签或原始/处理数据，文件类型单一，无额外说明文档或内容预览。文件详解压缩文件文件名称：deploy.zip 文件格式：ZIP...

ZIP

ASTRail_Annex2_Deliverable4_1_排序矩阵计算数据

2026年1月20日 30 190 181

数据集概述本数据集包含ASTRail项目Deliverable4.1（《形式化方法分析与排序报告》）附件2中引用的排序矩阵计算电子表格，用于支撑形式化方法的排序分析工作，共包含2个文件。文件详解文件名称：README.txt 文件格式：TXT...

ZIP

FMP_SMT_Based_Formal_Methods_Playground脚本分析数据集

2026年1月17日 30 104 41

数据集概述本数据集为FMP_smt数据集，包含在Formal Methods Playground平台上编辑和分析的SMT-LIB脚本。每条数据记录包含唯一标识、父项关联、完整脚本代码、平台永久链接及时间戳，用于形式化方法领域的脚本分析与研究。文件详解文件名称：fmp_smt.json 文件格式：JSON...

ZIP

CAR_DT_Artifact_Based_CAR模型检验加速研究数据_TASE_25

2026年1月14日 30 41 7

数据集概述本数据集是论文《Accelerate CAR-based model checking》（TASE'25）的配套Artifact，包含支持CAR模型检验加速研究的相关数据。数据集仅含一个压缩文件，无目录结构，可用于复现论文中的模型检验加速方法及实验结果。文件详解文件名称：CAR-PT-master.zip 文件格式：ZIP...

ZIP

STICS_IC_paper_2022_基于STICS模型的间作土壤_植物功能模拟数据

2026年1月14日 30 37 31

数据集概述本数据集包含用于复现论文的完整数据、代码及软件，核心内容为基于STICS土壤作物模型实现的间作系统土壤-植物功能模拟通用形式化方法，支持对豆科-禾本科等多种双物种间作系统（如蚕豆-小麦、豌豆-大麦等）的生长、光截获、养分平衡等关键过程的模拟与验证。文件详解文件名称：STICS-IC_paper_2022.zip 文件格式：ZIP...

ZIP

EULYNX_Based_FormaSig项目Point接口mCRL2模型与测试日志数据

2026年1月13日 30 33 24

数据集概述本数据集包含FormaSig项目中EULYNX Point接口的mCRL2模型、μ-演算公式需求文件及测试相关工件，用于支持研究结果的复现。数据涵盖特定点接口和通用PDI接口的模型、对应需求文件、测试模型、状态空间文件、测试日志及模拟器源代码，共20个文件。文件详解 mCRL2模型文件...

ZIP

Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据

2026年1月3日 30 178 30

数据集概述本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。文件详解文件名称：aev.zip 文件格式：ZIP...

ZIP

Optimal_Infinite_Temporal_Planning_PTA循环规划实验数据_压缩包

2026年1月5日 30 61 0

数据集概述本数据集为论文“Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”的配套实验数据，包含用于验证PTA最优无限时间规划方法的UPPAAL模型和实验原始数据，以压缩包形式提供，支持对相关规划算法的复现与分析。文件详解...

ZIP

IMITATOR_Based_非Zenoness假设下分布式参数模型检查时间自动机实验数据_FMSD22

2026年1月1日 30 72 19

数据集概述本数据集为发表于FMSD 2022的相关论文配套实验数据，记录了基于IMITATOR 2.9.2分布式版本开展的实验结果，实验环境为两台Intel Xeon Silver 4114服务器（共20核、96GiB内存），运行Ubuntu 16.04 LTS系统。数据集以压缩包形式提供，无目录结构，总计包含一个文件。文件详解...

ZIP

FM_Tools_Release_2_2_Based_形式化方法工具元数据数据集_SV_COMP_2025_Test_Comp_2025

2025年12月27日 30 204 186

数据集概述本数据集为FM-Tools Release 2.2版本，收集了形式化方法工具的元数据信息，旨在简化形式化方法工具的复用、集成与协作。数据关联SV-COMP 2025和Test-Comp 2025，包含结构化的工具元数据内容，支持形式化方法领域的工具资源管理与分析。文件详解文件名称：fm-tools-2.2.zip...

ZIP

PLCspecif许可等价性检查示例模型

2025年12月23日 30 201 179

数据集概述该数据集包含用于PLCspecif许可等价性检查关系的示例模型，由两个文件组成，分别为说明文档和压缩的示例模型文件，为理解PLCspecif框架下的等价性检查方法提供实践参考。文件详解 readme.pdf：PDF格式文档，提供数据集的说明信息...

ZIP

TACAS2020_Based_Sharp_Congruences_弱强模态时态逻辑补充材料完整数据

2025年12月23日 30 38 9

数据集概述本数据集为TACAS 2020会议论文的补充材料，包含论文所有定理的证明、RERS 2019实验的详细描述，以及RERS 2018、RERS 2019和TFTP实验的实际数据，共7个文件。文件详解 README.txt: TXT格式，说明该数据集是TACAS 2020会议论文的配套档案，提及论文作者及会议信息 Lang-Mateescu-...

ZIP

抽象状态机中接口与特征抽象规范的受控实验数据集

2025年12月22日 30 173 105

数据集概述该数据集包含一项关于抽象状态机中接口与特征抽象规范的受控实验相关的文档、表单及R脚本，支持实证研究的可重复性验证，为相关技术的实验分析提供数据基础。文件详解文档类文件（共4个，PDF格式）： info.pdf：可能包含实验背景、方法或结果概述的说明文档 form_traits.pdf：特征抽象相关的实验表单文件...