YAML Verification Witnesses from SV-COMP 2026
收藏官方服务：
资源简介：
YAML verification witnesses extracted from https://zenodo.org/records/18651735 and organized by tool, property and task. The purpose of this dataset is to simplify the reuse of YAML verification witnesses from SV-COMP 2026 by providing a significantly smaller archive which is semantically organized. In particular, this may be useful for evaluating validators for YAML witnesses.
提供机构：
Zenodo创建时间：
2026-03-23
