Safe to the last instruction: automated verification of a type-safe operating system.
Jean YangChris HawblitzelPublished in: PLDI (2010)
Keyphrases
- operating system
- automated verification
- computer systems
- virtual machine
- model checking
- microsoft windows
- distributed systems
- application programs
- application level
- data mining
- formal verification
- databases
- memory management
- memory hierarchy
- linux kernel
- windows xp
- automated reasoning
- database applications
- information systems
- operating environment
- learning red hat linux