Vladimir Levin Static driver verifier, a formal verification tool for Windows device drivers. 151 2004 conf/memocode/2004 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2004.1459840 db/conf/memocode/memocode2004.html#Levin04