Hyperkernel: Push-button verification of an OS kernel
Proceedings of the 26th Symposium on Operating Systems Principles
- A secure and formally verified Linux KVM hypervisor [li:sandp:2021]
- Scaling symbolic evaluation for automated verification of systems code with Serval [nelson:sosp:2019]
The opinions expressed are my own views and not my employer’s.