OS Verification - Now!

Harvey Tuch Gerwin Klein Gernot Heiser

Published in: HotOS (2005)

Keyphrases

operating system
model checking
open source
formal verification
virtual machine
asynchronous circuits
database manager
digital images
fingerprint verification
handwritten signature verification