Software Open Access

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

Beyer, Dirk

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020).</p>\n\n<p>Licenses are included with the source code.</p>", 
  "license": "https://opensource.org/licenses/Apache-2.0", 
  "creator": [
    {
      "affiliation": "LMU Munich, Germany", 
      "@id": "https://orcid.org/0000-0003-4832-7662", 
      "@type": "Person", 
      "name": "Beyer, Dirk"
    }
  ], 
  "url": "https://zenodo.org/record/3633334", 
  "datePublished": "2020-01-31", 
  "version": "svcomp20", 
  "keywords": [
    "Software verification", 
    "Verification tasks", 
    "Benchmark", 
    "C language", 
    "SV-Benchmarks"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3633334", 
  "@id": "https://doi.org/10.5281/zenodo.3633334", 
  "@type": "SoftwareSourceCode", 
  "name": "SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020)"
}
649
9
views
downloads
All versions This version
Views 649649
Downloads 99
Data volume 46.7 GB46.7 GB
Unique views 624624
Unique downloads 99
More info on how stats are collected.
Indexed in
Publication date:
January 31, 2020
DOI:
10.5281/zenodo.3633334

Zenodo DOI Badge

DOI 

10.5281/zenodo.3633334

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
Software verification Verification tasks Benchmark C language SV-Benchmarks
Related identifiers:
Cited by
Communities:
License (for files):
Apache License 2.0

Versions

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

Share

Cite as

Export