Towards verified file systems. Andrea Giugliano. PhD Thesis, University of Leicester. 2018 shelley2024-07-26T09:03:57+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Checking cryptographic API usage with composable annotations (short paper). Checking cryptographic API usage with composable annotations (short paper). Annual Report 2017/2018 Annual Report 2017/2018 Program Verification in the Presence of I/O. Program Verification in the Presence of I/O. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs