Published November 10, 2021
| Version v1
Software
Open
Coq development for "Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations"
Creators
- 1. MPI-SWS
- 2. Radboud University Nijmegen
- 3. KAIST
Description
This is the artifact for the POPL'22 paper “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations”. It contains the Coq development mechanizing the results of the paper.
The public development repository is available at https://gitlab.mpi-sws.org/iris/simuliris.
Files
simuliris.zip
Files
(2.3 GB)
Name | Size | Download all |
---|---|---|
md5:c9a2a138e579f847f468192f7f7cdec7
|
2.3 GB | Preview Download |