Software Open Access
Artifact of 'Proof Automation for Linearizability in Separation Logic'
Ike Mulder;
Robbert Krebbers
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.
Diaframe 2.0's current development can be found here.
Files
(7.4 GB)
| Name | Size | |
|---|---|---|
|
diaframe2-artifact-oopsla-2023.ova
md5:58ae4d5fd056ada91bf3970249f4dd3f |
7.3 GB | Download |
|
diaframe2-artifact-source.tgz
md5:d3b6518bc146ec6e2010741a0c251487 |
29.1 MB | Download |
|
LICENSE
md5:3faedc3fe84752e2f6e5794c61e4e67a |
1.5 kB | Download |
|
README.md
md5:06ebd4dfb44972ecf4d24d65b00b5fab |
32.6 kB | Download |
72
22
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 72 | 27 |
| Downloads | 22 | 14 |
| Data volume | 73.4 GB | 58.7 GB |
| Unique views | 57 | 23 |
| Unique downloads | 15 | 11 |
Indexed in
- Publication date:
- January 7, 2023
- DOI:
-
- License (for files):
- BSD 3-Clause "New" or "Revised" License