Software Open Access
Artifact of 'Proof Automation for Linearizability in Separation Logic'
Ike Mulder;
Robbert Krebbers
JSON-LD (schema.org) Export
{
"description": "<p>This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Logic'. It contains the Diaframe 2.0 source code, a VM containing a compiled version of this source code, and instructions for evaluation.</p>\n\n<p>Diaframe 2.0's current development can be found <a href=\"https://gitlab.mpi-sws.org/iris/diaframe\">here</a>.</p>",
"license": "https://www.eclipse.org/org/documents/edl-v10.php",
"creator": [
{
"affiliation": "Radboud University Nijmegen",
"@id": "https://orcid.org/0000-0001-9926-9736",
"@type": "Person",
"name": "Ike Mulder"
},
{
"affiliation": "Radboud University Nijmegen",
"@id": "https://orcid.org/0000-0002-1185-5237",
"@type": "Person",
"name": "Robbert Krebbers"
}
],
"url": "https://zenodo.org/record/7512277",
"datePublished": "2023-01-07",
"version": "1.0.0",
"@context": "https://schema.org/",
"identifier": "https://doi.org/10.5281/zenodo.7512277",
"@id": "https://doi.org/10.5281/zenodo.7512277",
"@type": "SoftwareSourceCode",
"name": "Artifact of 'Proof Automation for Linearizability in Separation Logic'"
}
199
49
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 199 | 36 |
| Downloads | 49 | 17 |
| Data volume | 103.0 GB | 58.8 GB |
| Unique views | 173 | 32 |
| Unique downloads | 35 | 14 |
Indexed in
- Publication date:
- January 7, 2023
- DOI:
-
- License (for files):
- BSD 3-Clause "New" or "Revised" License