On the formal verification of component-based embedded operating systems.
Mateus Krepsky LudwichAntônio Augusto FröhlichPublished in: ACM SIGOPS Oper. Syst. Rev. (2013)
Keyphrases
- operating system
- formal verification
- model checking
- automated verification
- bounded model checking
- computer systems
- model checker
- virtual machine
- distributed systems
- memory management
- microsoft windows
- embedded systems
- security mechanisms
- symbolic model checking
- address space
- temporal logic
- linux kernel
- windows xp
- data analysis
- application programs
- software architecture
- operating environment
- web applications
- databases