dTML_correctness_proof.zip (219.09 kB)
Isabelle/HOL files for "A Verified Durable Transactional Mutex Lock for Persistent x86-TSO"
Version 2 2024-01-31, 00:28
Version 1 2024-01-21, 23:50
thesis
posted on 2024-01-31, 00:28 authored by Eleni Vafeiadi BilaEleni Vafeiadi Bila, Brijesh DongolBrijesh DongolIsabelle/HOL files for "A Verified Durable Transactional Mutex Lock for Persistent x86-TSO"
Funding
Research Institute in Verified Trustworthy Software Systems (VeTSS)
Engineering and Physical Sciences Research Council
Find out more...