Specifying and Verifying Persistent Transactional Memory Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs Lightweight Approaches to the Verification of Functional Programs. Lightweight Approaches to the Verification of Functional Programs. Ownership Guided C to Rust Translation. Ownership Guided C to Rust Translation.
by