A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.
Hendrik TewsTjark WeberMarcus VölpPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal model
- operating system
- windows xp
- low level
- address space
- processor core
- memory management
- linux kernel
- virtual memory
- high level
- computer systems
- high assurance
- multi threaded
- windows nt
- programs written
- microsoft windows
- virtual machine
- application level
- distributed systems
- security properties
- interprocess communication
- model checking
- multicore processors
- data processing
- data analysis
- operating environment
- memory hierarchy
- security mechanisms
- formal methods
- multi tasking
- source code