Operating System Verification.

Gerwin Klein Ralf Huuck Bastian Schlich

Published in: J. Autom. Reason. (2009)

Keyphrases

operating system
computer systems
high assurance
virtual machine
model checking
memory management
microsoft windows
windows xp
distributed systems
linux kernel
address space
application level
command line
machine learning
windows nt
operating environment
database systems