High-confidence operating systems.

Radu Grosu Erez Zadok Scott A. Smolka Rance Cleaveland Yanhong A. Liu

Published in: ACM SIGOPS European Workshop (2002)

Keyphrases

high confidence
operating system
computer systems
association rules
distributed systems
microsoft windows
memory management
virtual machine
security mechanisms
linux kernel
address space
windows xp
data analysis
virtual memory
application programs
windows nt
operating environment
pairwise