Published February 7, 2019 | Version 1.0
Dataset Open

Verification Witnesses from Verification Tools (SV-COMP 2019)

Creators

  • 1. LMU Munich, Germany

Description

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

witnesses-2019.zip

Files (2.9 GB)

Name Size Download all
md5:2081097a0d7c78325dca672d4fcdc747
2.9 GB Preview Download

Additional details

Related works

Is documented by
Conference paper: 10.1109/MSR.2019.00026 (DOI)

References

  • Beyer, Dirk (2019). A Data Set of Program Invariants and Error Paths. In: Proc. MSR 2019. IEEE.