找到1个数据集

标签: 见证验证器

过滤结果

  • SV_COMP_2025_YAML验证见证语义组织数据

    2026年2月7日 30 51 42

    数据集概述 本数据集为SV-COMP 2025的YAML验证见证数据，从Zenodo平台提取并按工具、属性和任务进行语义组织。旨在通过更小体积的归档简化数据复用，支持YAML见证验证器的评估工作。数据集包含一个压缩文件。 文件详解 文件名称：svcomp25-yaml-witnesses.zip 文件格式：ZIP...
    packageimg