Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2019)

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.

843
78
views
downloads
All versions This version
Views 843843
Downloads 7878
Data volume 229.9 GB229.9 GB
Unique views 802802
Unique downloads 6767
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