Published March 27, 2025 | Version v1
Dataset Open

YAML Verification Witnesses from SV-COMP 2025

Authors/Creators

  • 1. EDMO icon University of Tartu

Contributors

Data collector:

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

YAML verification witnesses extracted from https://zenodo.org/records/15012077 and organized by tool, property and task.

The purpose of this dataset is to simplify the reuse of YAML verification witnesses from SV-COMP 2025 by providing a significantly smaller archive which is semantically organized. In particular, this may be useful for evaluating validators for YAML witnesses.

Files

svcomp25-yaml-witnesses.zip

Files (310.1 MB)

Name Size Download all
md5:058292d37a3c1ff40501e81f527c59e2
310.1 MB Preview Download

Additional details

Related works

Is derived from
Dataset: 10.5281/zenodo.15012077 (DOI)