Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

Artifact of 'Proof Automation for Linearizability in Separation Logic'

Ike Mulder; Robbert Krebbers

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
193
49
views
downloads
All versions This version
Views 19335
Downloads 4917
Data volume 103.0 GB58.8 GB
Unique views 16831
Unique downloads 3514
More info on how stats are collected.
Indexed in
Publication date:
January 7, 2023
DOI:
10.5281/zenodo.7512277

Zenodo DOI Badge

DOI 

10.5281/zenodo.7512277

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
BSD 3-Clause "New" or "Revised" License

Versions

Version 1.0.0 10.5281/zenodo.7712620 Jan 7, 2023
Version 1.0.0 10.5281/zenodo.7512277 Jan 7, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7512276. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export