Applying language-based static verification in an ARM operating system.
Matthew DanishHongwei XiRichard WestPublished in: SIGBED Rev. (2013)
Keyphrases
- operating system
- computer systems
- programs written
- microsoft windows
- high assurance
- programming language
- virtual machine
- distributed systems
- memory management
- linux kernel
- virtual memory
- multi threaded
- command line
- machine learning
- windows xp
- application programs
- high speed
- application level
- distributed environment
- case study
- databases