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
59
14
views
downloads
All versions This version
Views 5959
Downloads 1414
Data volume 41.3 GB41.3 GB
Unique views 5252
Unique downloads 1313
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
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