Automated Verification of Systems Code using Type-based Memory Abstractions (PhD defense)
Channel: Otini
Date: 2022-05-03

I defended my PhD on the 19th of April, 2022.

You can find the manuscript over at my website: https://otini.chnik.fr/.