Dataset Open Access

Verification Witnesses from SV-COMP 2019 Verification Tools

Beyer, Dirk

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

Files (2.9 GB)
Name Size
witnesses-2019.zip
md5:2081097a0d7c78325dca672d4fcdc747
2.9 GB Download
59
14
views
downloads
All versions This version
Views 5959
Downloads 1414
Data volume 41.3 GB41.3 GB
Unique views 5252
Unique downloads 1313

Share

Cite as