Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Browse the full SOSP paper archive.