Checking Opacity and Durable Opacity with FDR

First Author: Dongol B

Attributed to: Verifiably correct concurrency abstractions funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

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

Publication URI: http://dx.doi.org/10.1007/978-3-030-92124-8_13

Type: Book Chapter

Book Title: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (2021)

Page Reference: 222-242

ISSN: 2730-7700