Vladimir Levin: Static driver verifier, a formal verification tool for Windows device drivers. MEMOCODE 2004: 151