Software Open Access
Artifact of 'Proof Automation for Linearizability in Separation Logic'
Ike Mulder;
Robbert Krebbers
BibTeX Export
@software{ike_mulder_2023_7512277,
author = {Ike Mulder and
Robbert Krebbers},
title = {{Artifact of 'Proof Automation for Linearizability
in Separation Logic'}},
month = jan,
year = 2023,
publisher = {Zenodo},
version = {1.0.0},
doi = {10.5281/zenodo.7512277},
url = {https://doi.org/10.5281/zenodo.7512277}
}
193
49
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 193 | 35 |
| Downloads | 49 | 17 |
| Data volume | 103.0 GB | 58.8 GB |
| Unique views | 168 | 31 |
| Unique downloads | 35 | 14 |
Indexed in
- Publication date:
- January 7, 2023
- DOI:
-
- License (for files):
- BSD 3-Clause "New" or "Revised" License