找到2个数据集

标签: graphml

过滤结果

  • SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集

    2026年1月15日 30 42 6

    数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
    packageimg

  • 乌尔姆_埃金根遗址地层替代模型HMC矩阵数据集

    2025年12月19日 30 71 46

    数据集概述 本数据集是Eva Rosenstock 2022年研究论文中Figure 8的补充材料，基于C.-J. Kind 1989年发表的乌尔姆-埃金根遗址数据，构建了结合地层观察与空间关系的替代模型HMC矩阵，包含多种格式的完整与简化版本文件。 文件详解 该数据集包含8个文件，具体说明如下： - 图形标记语言文件（.graphml格式）： -...
    packageimg