Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

There is a newer version of the record available.

Published January 7, 2023 | Version 1.0.0
Software Open

Artifact of 'Proof Automation for Linearizability in Separation Logic'

Creators

  • 1. Radboud University Nijmegen

Description

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

README.md

Files (7.4 GB)

Name Size Download all
md5:58ae4d5fd056ada91bf3970249f4dd3f
7.3 GB Download
md5:d3b6518bc146ec6e2010741a0c251487
29.1 MB Download
md5:3faedc3fe84752e2f6e5794c61e4e67a
1.5 kB Download
md5:06ebd4dfb44972ecf4d24d65b00b5fab
32.6 kB Preview Download