Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2020)

Beyer, Dirk

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).

Files (4.4 GB)
Name Size
witnesses-2020.zip
md5:daa6936d373bb13bc123b63680fb98b3
4.4 GB Download
712
80
views
downloads
All versions This version
Views 712712
Downloads 8080
Data volume 352.2 GB352.2 GB
Unique views 673673
Unique downloads 6464

Share

Cite as