Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet.

Charly Castes, Franois Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion

Browse the full HotOS paper archive.