On the Correctness of Operating System Kernels.

Mauro Gargano Mark A. Hillebrand Dirk Leinenbach Wolfgang J. Paul

Published in: TPHOLs (2005)

Keyphrases

operating system
computer systems
virtual machine
memory management
distributed systems
microsoft windows
operating environment
application level
windows xp
command line
virtual memory
information systems
programming language
linux kernel