Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2020)

Beyer, Dirk

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3630188", 
  "language": "eng", 
  "title": "Verification Witnesses from Verification Tools (SV-COMP 2020)", 
  "issued": {
    "date-parts": [
      [
        2020, 
        1, 
        29
      ]
    ]
  }, 
  "abstract": "<p>This data set contains verification witnesses produced by tools for software verification that participated in the 9th International Competition on Software Verification (SV-COMP 2020).</p>", 
  "author": [
    {
      "family": "Beyer, Dirk"
    }
  ], 
  "version": "svcomp20", 
  "type": "dataset", 
  "id": "3630188"
}
712
80
views
downloads
All versions This version
Views 712712
Downloads 8080
Data volume 352.2 GB352.2 GB
Unique views 673673
Unique downloads 6464
More info on how stats are collected.
Indexed in
Publication date:
January 29, 2020
DOI:
10.5281/zenodo.3630188

Zenodo DOI Badge

DOI 

10.5281/zenodo.3630188

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Software Verification Program Analysis Software Bugs Program Invariants
Related identifiers:
Supplement to
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version svcomp20 10.5281/zenodo.3630188 Jan 29, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3630187. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export