A Road to a Formally Verified General-Purpose Operating System.

Published in: ISARCS (2010)

Keyphrases

operating system
general purpose
computer systems
special purpose
distributed systems
virtual machine
microsoft windows
multi threaded
windows xp
memory management
virtual memory
programming language
address space
application programs
command line
linux kernel
databases