Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2019)

Beyer, Dirk


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.2559175", 
  "language": "eng", 
  "title": "Verification Witnesses from Verification Tools (SV-COMP 2019)", 
  "issued": {
    "date-parts": [
      [
        2019, 
        2, 
        7
      ]
    ]
  }, 
  "abstract": "<p>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).</p>", 
  "author": [
    {
      "family": "Beyer, Dirk"
    }
  ], 
  "version": "1.0", 
  "type": "dataset", 
  "id": "2559175"
}
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

Share

Cite as