Published February 4, 2025
| Version v1
Dataset
Open
YAML Verification Witnesses from SV-COMP 2024
Description
YAML verification witnesses extracted from https://doi.org/10.5281/zenodo.10669737 and organized by tool, property and task.
The purpose of this dataset is to simplify the reuse of YAML verification witnesses from SV-COMP 2024 by providing a significantly smaller archive which is semantically organized. In particular, this may be useful for evaluating validators for YAML witnesses.
Files
svcomp24-yaml-witnesses.zip
Files
(180.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8427204e8acef82573638551d04a44fa
|
180.9 MB | Preview Download |
Additional details
Related works
- Is derived from
- Dataset: 10.5281/zenodo.10669737 (DOI)