YAML Verification Witnesses from SV-COMP 2025
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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.
创建时间：
2025-03-27
