OS Verification - Now!

Harvey Tuch, Gerwin Klein, Gernot Heiser

Browse the full HotOS paper archive.