View-Based Owicki-Gries Reasoning for Persistent x86-TSO

First Author: Bila E
Attributed to:  Verifiably Correct Transactional Memory funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-99336-8_9

Publication URI: http://dx.doi.org/10.1007/978-3-030-99336-8_9

Type: Book Chapter

Book Title: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (2022)

Page Reference: 234-261

ISSN: 2731-5525