Filter by
Annual Report 2022/2023
VeTSS
2023
Canonical Algebraic Generators in Automata Learning
Stefan Jens Zetzsche.
PhD Thesis, University College London. 2023
Specifying and Verifying Persistent Transactional Memory
Eleni Vafeiadi Bila.
PhD Thesis, University of Surrey. 2023
Verified compilation of a purely functional language to a realistic machine semantics
Hrutvik Kanabar.
PhD Thesis, University of Kent. 2023
Lightweight Approaches to the Verification of Functional Programs.
Eddie Jones.
PhD Thesis, University of Bristol. 2023
Away From Linear Models of Concurrent Programs
Daniel Wright.
PhD Thesis, University of Kent. 2022
Annual Report 2020/2021
VeTSS
2021
Annual Report 2018/2019
VeTSS
2019
Annual Report 2017/2018
VeTSS
2018
Towards verified file systems.
Andrea Giugliano.
PhD Thesis, University of Leicester. 2018
Program Verification in the Presence of I/O.
Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho.
In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2018. Lecture Notes in Computer Science, vol 11294. 2018
Checking cryptographic API usage with composable annotations (short paper).
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder.
PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, December 2017, 53–59. 2018
by