Software Open Access

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

Beyer, Dirk


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3633334", 
  "language": "eng", 
  "title": "SV-Benchmarks: Benchmark Set of 9th Intl. Competition on Software Verification (SV-COMP 2020)", 
  "issued": {
    "date-parts": [
      [
        2020, 
        1, 
        31
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Beyer, Dirk"
    }
  ], 
  "version": "svcomp20", 
  "type": "article", 
  "id": "3633334"
}
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

Share

Cite as