Dataset Open Access

Verification Witnesses from Verification Tools (SV-COMP 2019)

Beyer, Dirk


BibTeX Export

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