Published January 29, 2020 | Version svcomp20
Dataset Open

Verification Witnesses from Verification Tools (SV-COMP 2020)

  • 1. LMU Munich, Germany


This data set contains verification witnesses produced by tools for software verification that participated in the 9th International Competition on Software Verification (SV-COMP 2020).


Files (4.4 GB)

Name Size Download all
4.4 GB Preview Download

Additional details

Related works

Is documented by
Conference paper: 10.1109/MSR.2019.00026 (DOI)
Is supplement to
Conference paper: 10.1007/978-3-030-45237-7_21 (DOI)