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

Share

Cite as