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

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
1,038
38
views
downloads
All versions This version
Views 1,038107
Downloads 381
Data volume 34.7 GB501.7 kB
Unique views 61176
Unique downloads 291
More info on how stats are collected.
Indexed in
Publication date:
May 28, 2021
DOI:
10.5281/zenodo.4850342

Zenodo DOI Badge

DOI 

10.5281/zenodo.4850342

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4850342.svg)](https://doi.org/10.5281/zenodo.4850342)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4850342.svg
   :target: https://doi.org/10.5281/zenodo.4850342

HTML 

<a href="https://doi.org/10.5281/zenodo.4850342"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4850342.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4850342.svg

Target URL 

https://doi.org/10.5281/zenodo.4850342

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

Versions

Version v1.0 10.5281/zenodo.5074275 Jul 6, 2021
Version v0.5-cav21-artifact 10.5281/zenodo.4850342 May 28, 2021
Version v0.4-cypress 10.5281/zenodo.4679743 Apr 11, 2021
Version v0.4-cypress-no-VM 10.5281/zenodo.4679740 Apr 11, 2021
Version 0.3-cypress 10.5281/zenodo.4639933 Mar 26, 2021
View all 6 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1482573. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export