Archive.zip (46.92 kB)
Isabelle Files for "Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL"
software
posted on 2021-04-08, 10:24 authored by Sadegh Dalvandi, Simon Doherty, Brijesh DongolBrijesh Dongol, Heike WehrheimIsabelle files for "Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL".
The proofs require Isabelle/HOL 2020.
Funding
Verifiably Correct Transactional Memory
Engineering and Physical Sciences Research Council
Find out more...Verifiably Correct Transactional Memory.
Engineering and Physical Sciences Research Council
Find out more...