Published February 7, 2019 | Version 1.0
Dataset Open

Verification Witnesses from Verification Tools (SV-COMP 2019)

  • 1. LMU Munich, Germany


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 Download all
2.9 GB Preview Download

Additional details

Related works

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


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