There is a newer version of this record available.

Software Open Access

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey


BibTeX Export

@software{shachar_itzhaky_2021_4850342,
  author       = {Shachar Itzhaky and
                  Hila Peleg and
                  Nadia Polikarpova and
                  Reuben N.S. Rowe and
                  Ilya Sergey},
  title        = {SuSLik (CAV 2021 Artifact): Code and Benchmarks},
  month        = may,
  year         = 2021,
  publisher    = {Zenodo},
  version      = {v0.5-cav21-artifact},
  doi          = {10.5281/zenodo.4850342},
  url          = {https://doi.org/10.5281/zenodo.4850342}
}
1,029
38
views
downloads
All versions This version
Views 1,029103
Downloads 381
Data volume 34.7 GB501.7 kB
Unique views 60272
Unique downloads 291

Share

Cite as