-
DICOM_Based_医疗影像剂量方向测试数据
2026年2月1日 30 33 27
数据集概述 本数据集包含用于测试DICOM方向的DICOM剂量文件，以压缩包形式提供，无子目录结构，不区分训练/测试、数据/标签或原始/处理数据，可用于医疗影像技术中DICOM方向相关的测试场景。 文件详解 压缩包文件 文件名称：DICOM-orientation.zip 文件格式：ZIP...
-
PRDC_2021_智能合约验证工具有效性实证评估补充材料
2026年1月30日 30 172 22
数据集概述 本数据集是论文《An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools》的补充材料，包含一个压缩文件，核心内容为智能合约验证工具有效性评估相关的实证数据，用于支持论文研究结论的验证与补充分析。 文件详解 文件名称：2021-prdc-...
-
Paper_Based_模型转换与属性保持系统文献综述数据集
2026年1月29日 30 188 19
数据集概述 本数据集为论文《Model Transformation and Property Preservation in Rigorous Software Development: a Systematic Literature...
-
External_dependencies_实验结果_人工计数数据
2026年1月27日 30 164 67
数据集概述 本数据集包含外部依赖正确性人工计数实验的结果，记录了正确与不正确外部依赖的手动统计数据。数据以单一表格文件呈现，适用于分析软件开发中外部依赖的准确性情况。 文件详解 文件名称：Results of experiments for manual count.xlsx 文件格式：XLSX...
-
sVerify_Experiment_Based_实验结果与测试合约数据
2026年1月22日 30 9 2
数据集概述 本数据集包含sVerify实验的总结文件以及七个手动插入断言的真实测试合约，总计两个文件。数据聚焦于sVerify实验的结果记录与测试用例，为智能合约验证相关研究提供实验数据支持。 文件详解 实验总结文件 文件名称：sVerify_experiment.xlsx 文件格式：XLSX...
-
DigCompEdu_Expert_Based_幼儿教育专家判断验证工具数据
2026年1月20日 30 10 3
数据集概述 本数据集包含DigCompEdu（数字能力框架）针对幼儿教育的专家判断验证工具相关数据，通过专家反馈对该工具的有效性进行验证，为幼儿教育领域数字能力评估提供参考依据。 文件详解 文件名称：Respuestas Instrumento de Validación Juicio Experto DIGCOMPEdu para Educación...
-
ADHD_Games_ResearchData_基于数字游戏的TDAH学生教学研究补充材料2024
2026年1月6日 30 135 84
数据集概述 本数据集为博士论文《数字游戏融入TDAH学生教学：可能性、局限与挑战》的补充材料，包含研究过程中使用的脚本、指南、验证工具、扩展活动文档、授权文件及同意书等，支持探究数字游戏对TDAH学生执行功能、学习参与及学业表现的影响研究。 文件详解...
-
Intel_TDX_Module_Based_安全验证基准测试完整数据集
2025年12月22日 30 164 25
数据集概述 该数据集包含Intel TDX模块（版本1.5.05）的源代码、验证工具集、衍生验证任务及任务生成脚本与工具，支持基于不同初始化策略生成验证任务，适用于Intel TDX模块的安全性与可达性验证研究。 文件详解 核心目录结构： intel-tdx/src/: Intel TDX模块源代码（版本1.5.05） intel-...
-
MCComp_2025_攻击者控制与漏洞优先级排序基准数据集
2025年12月21日 30 171 7
数据集概述 该数据集是面向投影模型计数的CNF公式基准，基于《攻击者控制与漏洞优先级排序》（USENIX Security 2025）的研究工件构建，包含一百六十二组对应真实程序定量控制问题的公式（其中一百三十七组源自CVE），用于MCComp 2025竞赛。 文件详解 文档类文件：...
-
MPI_API使用要求契约验证研究复现数据集
2025年12月13日 30 7 4
数据集概述 本数据集包含论文《Verifying MPI API Usage Requirements with Contracts》中呈现的研究结果，以及用于复现这些结果的脚本，以压缩包形式提供，可通过解压后查看README.md获取详细信息。 文件详解 文件名称: Paper_Repro.zip 文件格式: ZIP压缩包 (.zip) 文件内容:...
-
TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据
2025年12月6日 30 146 136
数据集概述 本数据集是论文《TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net》的复现包，该论文已被ATVA 2025会议接收，包含用于验证论文实验结果的工具相关资源。 文件详解 文件名称: ATVA-2025-artifact.zip 文件格式: ZIP (.zip)...
