Software Open Access

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

Beyer, Dirk


BibTeX Export

@software{beyer_dirk_2020_3633334,
  author       = {Beyer, Dirk},
  title        = {{SV-Benchmarks: Benchmark Set of 9th Intl. 
                   Competition on Software Verification (SV-COMP
                   2020)}},
  month        = jan,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {svcomp20},
  doi          = {10.5281/zenodo.3633334},
  url          = {https://doi.org/10.5281/zenodo.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