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

Published in: MEMOCODE (2004)

Keyphrases

formal verification
car navigation
model checking
bounded model checking
automated verification
model checker
traffic accidents
symbolic model checking
driving simulator
temporal logic
orders of magnitude
heuristic search