View-Based Owicki-Gries Reasoning for Persistent x86-TSO
Attributed to:
Verifiably Correct Swarm Attestation
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