Formal Memory Models for the Verification of Low-Level Operating-System Code.
Hendrik TewsMarcus VölpTjark WeberPublished in: J. Autom. Reason. (2009)
Keyphrases
- operating system
- windows xp
- low level
- memory management
- linux kernel
- address space
- computer systems
- application level
- virtual memory
- high level
- multi threaded
- virtual machine
- random access
- model checking
- windows nt
- distributed systems
- databases
- computing power
- microsoft windows
- operating environment
- open source
- processor core