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 P. Mure Bryan Parno Lawrence Charles Paulson Konrad Slind

DOI Semantic Scholar