Dataset Open Access

Verification Witnesses from SV-COMP 2019 Verification Tools

Beyer, Dirk

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
witnesses-2019.zip
md5:2081097a0d7c78325dca672d4fcdc747 		2.9 GB Download

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

256
68
views
downloads
All versions This version
Views 256256
Downloads 6868
Data volume 200.5 GB200.5 GB
Unique views 226226
Unique downloads 5757
More info on how stats are collected.
Indexed in
Publication date:
February 7, 2019
DOI:
10.5281/zenodo.2559175

Zenodo DOI Badge

DOI 

10.5281/zenodo.2559175

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2559175.svg)](https://doi.org/10.5281/zenodo.2559175)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.2559175.svg
   :target: https://doi.org/10.5281/zenodo.2559175

HTML 

<a href="https://doi.org/10.5281/zenodo.2559175"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.2559175.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.2559175.svg

Target URL 

https://doi.org/10.5281/zenodo.2559175

Keyword(s):
Software Verification, Program Analysis, Software Bugs, Program Invariants
Related identifiers:
Documented by
Communities:
License (for files):
Creative Commons Attribution Non Commercial Share Alike 4.0 International

Versions

Version 1.0 10.5281/zenodo.2559175 Feb 7, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2559174. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export