Published January 17, 2021
| Version v1
Software
Open
Concurrent Separation Logics for Safety, Refinement, and Security. Associated Coq mechanization.
Description
This artefact contains the Coq sources accompanying my PhD dissertation "Concurrent Separation Logics for Safety, Refinement, and Security".
The artefact contains the three logics, corresponding to the three main chapters in the thesis, as well as archived versions of the dependencies. See the README.md file in the archive.
Coq version used: 8.12.0
Notes
This research has been funded by NWO (STW project "Sovereign", project number STW.14319) and has furthermore been supported by COST Action EUTypes (CA15123).
Files
Files
(15.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:33df72ee072febbd1d40f68e46088cda
|
15.7 MB | Download |