Static driver verifier, a formal verification tool for Windows device drivers.

Vladimir Levin

Browse the full MEMOCODE paper archive.