Application of formal analysis to enhancing trust in a complex grid-based operating system.

Published in: ISARCS (2012)

Keyphrases

operating system
formal analysis
application level
memory management
computer systems
multi tasking
windows xp
microsoft windows
distributed systems
application programs
artificial intelligence
relational databases