Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL (2020)
Attributed to:
Verifiably Correct Transactional Memory.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.2004.02983
Publication URI: https://arxiv.org/abs/2004.02983
Type: Preprint