-
SV_COMP_2025_YAML验证见证语义组织数据
2026年2月7日 30 118 42
数据集概述 本数据集为SV-COMP 2025的YAML验证见证数据，从Zenodo平台提取并按工具、属性和任务进行语义组织。旨在通过更小体积的归档简化数据复用，支持YAML见证验证器的评估工作。数据集包含一个压缩文件。 文件详解 文件名称：svcomp25-yaml-witnesses.zip 文件格式：ZIP...
-
UCNS3D_v1_3_Based_测试问题集合数据
2026年1月31日 30 15 12
数据集概述 本数据集是UCNS3D v1.3软件的测试问题集合，包含用于验证该软件功能的测试用例。数据集以压缩包形式提供，无目录层级结构，未划分训练/测试集、数据/标签集或原始/处理数据集，仅包含一个文件。 文件详解 文件名称：TESTS2.zip 文件格式：ZIP 字段映射介绍：压缩包内包含UCNS3D...
-
mCRL2_Based_基于反链的精化检查基准测试数据
2026年1月30日 30 125 5
数据集概述 本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。 文件详解 文件名称：antichain-benchmarks.zip 文件格式：ZIP...
-
AQ2947_秀丽隐杆线虫行为实验数据_2012_02_09
2026年1月29日 30 16 12
数据集概述 本数据集是秀丽隐杆线虫行为数据库的一部分，记录了2012年2月9日开展的AQ2947品系（CGC N2，英国布里斯托）线虫的行为实验数据。实验由英国MRC分子生物学实验室完成，使用tierpsy软件追踪线虫在NGM培养基上的行为，包含视频处理后的特征数据、行为记录文件等，共3个文件。 文件详解 行为特征文件： 文件名称：483 AQ2947...
-
AutoMorph_Based_生物形态自动与手动测量对比验证数据
2026年1月27日 30 55 8
数据集概述 本数据集包含AutoMorph软件自动提取的2D和3D测量值与手动测量值的对比数据，覆盖化石笠螺、现生双壳类、鱼鳞石（鱼牙）的2D测量（长轴、短轴、面积）及浮游有孔虫的3D测量（体积、表面积），用于验证AutoMorph软件的测量准确性，帮助用户评估其适用性。 文件详解 2D笠螺测量对比文件...
-
openmm_Figshare_Based_分子模拟软件测试数据集
2026年1月27日 30 156 122
数据集概述 本数据集为OpenMM软件测试专用数据，包含5个文件，涵盖分子模拟、实时分析配置、数据库、检查点及混合系统结构等内容，支持OpenMM软件功能验证与性能测试，无文件目录层级划分。 文件详解 科学文件（.nc格式，共2个） 文件名称：simulation.nc、checkpoint.nc 文件格式：NC...
-
candc_Based_软件组件与连接器模型用户研究数据_原始数据集
2026年1月25日 30 110 15
数据集概述 本数据集记录了一项针对软件组件与连接器（C&C）模型验证的用户研究结果，包含十七名计算机科学研究生或专业软件工程师的实验数据。研究通过随机顺序呈现的验证问题和见证有用性问题，收集了受试者对C&C视图满足性的判断、非满足原因识别及相关信心评分，旨在探究手动验证难度与见证辅助效果。 文件详解 README.txt...
-
线虫行为数据库_NL594_gpa_12基因行为实验完整数据2010
2026年1月23日 30 68 1
数据集概述 本数据集为秀丽隐杆线虫行为数据库的一部分，记录了NL594品系（gpa-12(pk322)X）成年雌雄同体线虫在含OP50食物的NGM琼脂培养基上的行为实验数据。实验由英国MRC分子生物学实验室完成，使用tierpsy软件追踪分析，包含视频处理后的行为特征数据，共3个文件。 文件详解 文件名称：gpa-12 (pk322)X on food...
-
JU394_C_elegans_法国赫尔曼维尔野生株行为实验数据2011
2026年1月21日 30 98 24
数据集概述 本数据集为秀丽隐杆线虫行为数据库的一部分，记录了法国赫尔曼维尔野生株JU394的行为实验数据。实验于2011年6月30日开展，包含成年雌雄同体线虫在特定培养基上的运动行为记录，通过视频追踪和特征提取生成相关数据文件，可用于线虫行为模式分析。 文件详解 文件名称：655 JU394 on food...
-
C_elegans_Based_秀丽隐杆线虫N2品系行为实验完整数据2011
2026年1月20日 30 130 119
数据集概述 本数据集是秀丽隐杆线虫（C.elegans）N2品系的行为实验数据，属于Schafer Lab的研究内容。实验记录了2011年11月11日该品系线虫在特定培养条件下的行为特征，包含行为特征数据、运动坐标数据等，支持线虫行为模式的定量分析。 文件详解 行为特征数据文件 文件名称：N2 on food...
-
秀丽隐杆线虫行为数据库_RB777_hcf_1_ok559_IV_2011年
2026年1月20日 30 112 57
数据集概述 本数据集为秀丽隐杆线虫（C.elegans）行为数据库的一部分，记录了RB777 hcf-1(ok559)IV品系线虫的行为实验数据。实验于2011年8月开展，包含线虫在特定培养条件下的行为特征数据，采用tierpsy软件追踪分析，涉及视频原始数据及处理后的特征数据，共3个文件。 文件详解 核心数据文件 文件名称：hcf-1...
-
CASoft_17SIP05_Based_符合性评估测量不确定度软件验证示例数据集
2026年1月14日 30 142 82
数据集概述 本数据集汇总了可用于验证17SIP05 CASoft项目开发软件的示例，该项目旨在推广JCGM106:2012参考文件所述方法在符合性评估决策中的应用。数据集包含1个文件，无目录结构，未划分训练/测试、数据/标签或原始/处理数据。 文件详解 文件名称：CASoft_Examples_dataset.xlsx 文件格式：XLSX...
-
SBML_Test_Suite_Semantic_Test_Cases_3_2_0版本测试数据
2026年1月11日 30 61 14
数据集概述 本数据集为SBML测试套件3.2.0版本的语义测试用例归档，是SBML一致性测试系统的核心部分，用于验证软件包对SBML标准的支持程度与正确性。语义测试用例针对确定性模拟行为设计，帮助开发者和用户评估软件的SBML语义合规性。 文件详解 文件名称：sbml-semantic-test-cases-2016-07-27.zip...
-
C_elegans_Behavioural_Database_Schafer_Lab线虫行为实验数据2010
2025年12月29日 30 28 8
数据集概述 本数据集为秀丽隐杆线虫（C.elegans）N2品系的行为实验数据，来自Schafer Lab。记录了2010年10月15日在英国剑桥MRC分子生物学实验室开展的实验，包含线虫在NGM琼脂培养基上的运动特征数据，采用tierpsy软件追踪分析，是线虫行为学研究的基础数据。 文件详解 特征数据文件：N2 on food...
-
Objaverse_Duluth_Mansion_Based_杜鲁特豪宅三维重建完整数据
2025年12月19日 30 167 97
数据集概述 该数据集是通过摄影测量软件3DF Zephyr v5.001处理360度图像生成的Duluth Mansion三维重建数据，包含三维模型文件与预览图像。 文件详解 三维模型文件：73aa5683de5e4df88459dc78173a5696.glb，格式为.glb，存储Duluth Mansion的三维重建模型...
-
Korn软件验证工具SV_COMP2023竞赛后评估数据集
2025年12月22日 30 58 29
数据集概述 本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。 文件详解 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...
-
SAS25_Future_Conditions_Based_论文实验验证配套完整数据
2025年12月19日 30 45 17
数据集概述 本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。 文件详解...
-
玛雅雕像摄影测量数据集
2025年12月18日 30 78 61
数据集概述 本数据集通过摄影测量技术生成，包含玛雅雕像的三维模型及配套预览图片。数据由78张图像经RealityCapture软件处理得到，为研究玛雅雕像的三维形态提供了数字化资源。 文件详解 文件名称: 93aaccc0c09441b985713711838493ea.glb：文件格式为GLB，可能包含玛雅雕像的三维模型数据 文件名称:...
-
铥掺杂铝硅酸盐光学玻璃Judd_Ofelt分析数据集
2025年12月14日 30 131 9
数据集概述 该数据集为“MCVD结合纳米颗粒掺杂制备的铥掺杂铝硅酸盐光学玻璃的Judd-Ofelt分析”相关研究提供数据支持，包含吸收系数、吸收截面、浓度与折射率分布、荧光衰减曲线及LOMS.cz软件的输入输出文件等核心实验与分析数据。 文件详解 文件名称: Thulium JO data.zip 文件格式: ZIP压缩包 包含内容:...
-
DISDRODB_CI_Based_测试站点数据下载功能测试数据集
2025年12月11日 30 10 4
数据集概述 该数据集是DISDRODB软件测试单元专用数据，用于验证软件从Zenodo平台下载数据的能力。数据集仅包含一个压缩文件，无复杂目录结构，主要服务于软件功能测试场景。 文件详解 文件名称: station_files.zip 文件格式: .zip（压缩文件） 内容说明: 数据集唯一文件，为压缩包格式，具体内部文件结构及字段信息未提供预览...
