YAML Verification Witnesses from SV-COMP 2024
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/14802367
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2025-02-04
