Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2020)

Beyer, Dirk


BibTeX Export

@dataset{beyer_dirk_2020_3630188,
  author       = {Beyer, Dirk},
  title        = {{Verification Witnesses from Verification Tools 
                   (SV-COMP 2020)}},
  month        = jan,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {svcomp20},
  doi          = {10.5281/zenodo.3630188},
  url          = {https://doi.org/10.5281/zenodo.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