YAML Verification Witnesses from SV-COMP 2025
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2025-03-27
