Login / Signup
Operating System Verification for Real Use.
Gernot Heiser
Published in:
VERIFY (2008)
Keyphrases
</>
operating system
computer systems
distributed systems
virtual machine
microsoft windows
memory management
application level
operating environment
multi threaded
virtual memory
linux kernel
model checking
high assurance