Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL (2021)

First Author: Dalvandi S

Attributed to: Verifiably Correct Transactional Memory. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10817-021-09610-2

Publication URI: http://dx.doi.org/10.1007/s10817-021-09610-2

Type: Journal Article/Review

Parent Publication: Journal of Automated Reasoning

Issue: 1