Published January 24, 2018
| Version svcomp16
Software
Open
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16)
Description
Full benchmark set of the 5th Intl. Competition on Software Verification (SV-COMP'16).
For more information on the competition, take a look at the article
Dirk Beyer: Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016), Proc. TACAS, Springer, 2016.
Licenses are included with the source code.
Files
sv-benchmarks-svcomp16.zip
Files
(605.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1e6a95e2fb003319210e164eedc79d10
|
605.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-662-49674-9_55 (DOI)