Published April 6, 2024 | Version v7
-
1.
Korea Advanced Institute of Science and Technology
-
2.
Radboud University Nijmegen
Description
This is the formalization for the paper "A Proof Recipe for Linearizability in Relaxed Memory Separation Logic", written in Coq, along with a Docker image file (`artifact.tar.gz`) that contains a compiled version of the project and all dependencies installed.
Detailed instructions and explanations are written in the README.md inside `pldi24-36-artifact.zip`.
Files
pldi24-36-artifact.zip