Back to Results
First PageMeta Content



Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo
Add to Reading List

Document Date: 2017-11-14 17:29:18


Open Document

File Size: 648,62 KB

Share Result on Facebook