Dataset Open Access
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).
Name | Size | |
---|---|---|
witnesses-2020.zip
md5:daa6936d373bb13bc123b63680fb98b3 |
4.4 GB | Download |
All versions | This version | |
---|---|---|
Views | 712 | 712 |
Downloads | 80 | 80 |
Data volume | 352.2 GB | 352.2 GB |
Unique views | 673 | 673 |
Unique downloads | 64 | 64 |