Safe to the last instruction: automated verification of a type-safe operating system.

Jean Yang Chris Hawblitzel

Published in: Commun. ACM (2011)

Keyphrases

operating system
computer systems
automated verification
microsoft windows
virtual machine
memory management
distributed systems
application level
command line
virtual memory
operating environment
red hat
databases
linux kernel
object oriented
database systems
machine learning