Isabelle/HOL files for "A Verified Durable Transactional Mutex Lock for Persistent x86-TSO" (2024)
Attributed to:
Research Institute in Verified Trustworthy Software Systems (VeTSS)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.6084/m9.figshare.25037312
Publication URI: https://figshare.com/articles/thesis/DTML_correctness_proof/25037312
Type: Other