Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk).

Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind

Browse the full ITP paper archive.