PhD Thesis – VeTSS

Towards verified file systems.

Andrea Giugliano. PhD Thesis, University of Leicester. 2018

Towards verified file systems.shelley2024-07-26T09:03:57+00:00

Away From Linear Models of Concurrent Programs

Daniel Wright. PhD Thesis, University of Kent. 2022

Away From Linear Models of Concurrent Programsshelley2024-07-26T09:03:54+00:00

Canonical Algebraic Generators in Automata Learning

Stefan Jens Zetzsche. PhD Thesis, University College London. 2023

Canonical Algebraic Generators in Automata Learningshelley2024-07-26T09:03:54+00:00

Specifying and Verifying Persistent Transactional Memory

Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023

Specifying and Verifying Persistent TransactionalMemoryshelley2024-07-26T09:03:54+00:00

Verified compilation of a purely functional language to a realistic machine semantics

Hrutvik Kanabar. PhD Thesis, University of Kent. 2023

Verified compilation of a purely functional language to a realistic machine semanticsshelley2024-07-26T09:03:54+00:00

Lightweight Approaches to the Verification of Functional Programs.

Eddie Jones. PhD Thesis, University of Bristol. 2023

Lightweight Approaches to the Verification of Functional Programs.shelley2024-07-26T09:03:54+00:00