SV-Benchmarks: Benchmark Set of 10th Intl. Competition on Software Verification (SV-COMP 2021)

Published January 23, 2021 | Version svcomp21

Software Open

Full benchmark set of the 10th Intl. Competition on Software Verification (SV-COMP 2021).

Licenses are included with the source code.

Files

Name	Size	Download all
sv-benchmarks-svcomp21.zip md5:23ab888aa8152256a7bad5900358e728	1.2 GB	Preview Download

616

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more