Dataset Open Access
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).
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.
All versions | This version | |
---|---|---|
Views | 843 | 843 |
Downloads | 78 | 78 |
Data volume | 229.9 GB | 229.9 GB |
Unique views | 802 | 802 |
Unique downloads | 67 | 67 |