A Fully Verified Persistency Library

First Author: Bodenmüller 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/978-3-031-50521-8_2

Publication URI: http://dx.doi.org/10.1007/978-3-031-50521-8_2

Type: Book Chapter

Book Title: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II (2024)

Page Reference: 26-47