Verification Witnesses from Verification Tools (SV-COMP 2019)
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/2559174
下载链接
链接失效反馈官方服务：
资源简介：
This data set contains verification witnesses produced by tools for software verification that participated in the 8th International Competition on Software Verification (SV-COMP 2019).
本数据集收录了参与第8届国际软件验证竞赛（8th International Competition on Software Verification, SV-COMP 2019）的软件验证工具所生成的验证见证（verification witnesses）。
创建时间：
2023-03-04
