SV_COMP_2025_YAML验证见证语义组织数据

数据集概述

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

文件详解

• 文件名称：svcomp25-yaml-witnesses.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内为按工具、属性和任务语义组织的SV-COMP 2025 YAML验证见证数据，具体字段需解压后查看原始YAML文件结构

数据来源

Zenodo平台（https://zenodo.org/records/15012077）

适用场景

• YAML验证见证器评估：用于测试和验证YAML见证验证工具的准确性与效率
• 软件验证研究：支持对SV-COMP 2025验证任务中见证数据的结构分析与语义研究
• 验证数据复用优化：探索语义组织方式对验证数据复用效率的提升效果
• 软件验证工具开发：为相关验证工具的开发提供标准化的YAML见证测试数据