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,029 | 103 |
| Downloads | 38 | 1 |
| Data volume | 34.7 GB | 501.7 kB |
| Unique views | 602 | 72 |
| Unique downloads | 29 | 1 |
Indexed in
- Publication date:
- May 28, 2021
- DOI:
-
- Meeting:
- 33rd International Conference on Computer-Aided Verification (CAV'21), Virtual, 18-23 July 2021
- Related identifiers:
- Identical to
- License (for files):
- Creative Commons Attribution 4.0 International