Published January 29, 2020 | Version svcomp20
Dataset Open

Verification Witnesses from Verification Tools (SV-COMP 2020)

Creators

  • 1. LMU Munich, Germany

Description

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

witnesses-2020.zip

Files (4.4 GB)

Name Size Download all
md5:daa6936d373bb13bc123b63680fb98b3
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)