Category:

Verifying C11-Style Weak Memory Libraries via Refinement

September 30th, 2021 by

The paper can be downloaded from here.

Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL

April 6th, 2020 by

The paper can be downloaded from here.