Keyphrases
- operating system
- computer systems
- microsoft windows
- high assurance
- linux kernel
- operating environment
- virtual machine
- databases
- multi threaded
- virtual memory
- memory management
- distributed systems
- application programs
- windows xp
- multi tasking
- information systems
- command line
- application level
- windows nt
- model checking
- address space