ECOOP2020_Isabelle.zip (205.02 kB)
Download file

Isabelle Files for Owicki-Gries Reasoning for C11 RAR

Download (205.02 kB)
software
posted on 05.06.2020, 07:15 by Sadegh Dalvandi, Simon Doherty, Brijesh DongolBrijesh Dongol, Heike Wehrheim
Isabelle 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...

History