Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2019)

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.

840
78
views
downloads
All versions This version
Views 840840
Downloads 7878
Data volume 229.9 GB229.9 GB
Unique views 800800
Unique downloads 6767

Share

Cite as