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 Wehrheim<div>Isabelle files for "Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL".</div><div><br></div><div>The proofs require Isabelle/HOL 2020.<br></div>
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...