Published March 9, 2023
| Version v4
Conference paper
Restricted
CQS: A Formally-Verified Framework for Fair Abortable Synchronization
Description
This artifact for the "CQS: A Formally-Verified Framework for Fair Abortable Synchronization" paper contains all the code and the scripts to reproduce the experiments as well as the presented formal proofs in Iris/Coq.
Files
Restricted
The record is publicly accessible, but files are restricted. Log in to check if you have access.