Modular, Full-System Verification.

Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey

Browse the full HotOS paper archive.