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
  • Beyer, Dirk (2019). A Data Set of Program Invariants and Error Paths. In: Proc. MSR 2019. IEEE.

256
68
views
downloads
All versions This version
Views 256256
Downloads 6868
Data volume 200.5 GB200.5 GB
Unique views 226226
Unique downloads 5757

Share

Cite as