Verification Witnesses from Verification Tools (SV-COMP 2020)
收藏数据链接：
官方服务：
资源简介：
This data set contains verification witnesses produced by tools for software verification that participated in the 9th International Competition on Software Verification (SV-COMP 2020).
本数据集收录了参与第9届国际软件验证竞赛（SV-COMP 2020）的软件验证工具所生成的验证见证（verification witnesses）。
提供机构：
Zenodo创建时间：
2020-01-30
