ECOOP2020_Isabelle.zip (205.02 kB)
Isabelle Files for Owicki-Gries Reasoning for C11 RAR
Version 2 2020-06-05, 07:15
Version 1 2020-06-04, 15:09
software
posted on 2020-06-05, 07:15 authored by Sadegh Dalvandi, Simon Doherty, Brijesh DongolBrijesh Dongol, Heike WehrheimIsabelle files for ECOOP 2020 paper "Owicki-Gries Reasoning for C11 RAR" by Sadegh Dalvandi, Simon Doherty, Brijesh Dongol and Heike Wehrheim.
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...