Publications – Page 11 – VeTSS

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

VeTSS EDI statement.

VeTSS 2023

VeTSS EDI statement.shelley2024-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