A Provably Correct Operating System: delta-Core.

Ming-Yuan Zhu Lei Luo Guang-Zhe Xiong

Published in: ACM SIGOPS Oper. Syst. Rev. (2001)

Keyphrases

operating system
provably correct
computer systems
distributed systems
microsoft windows
formal methods
situation calculus
virtual machine
command line
windows xp
relational databases
multi tasking
operating environment
address space
red hat
information systems
virtual memory
application programs
application level