嵌入式操作系统的形式化验证研究 (Research on Formal Verification of Embedded Operating System).
Lirong ChenYun LiLei LuoPublished in: 计算机科学 (2015)
Keyphrases
- operating system
- formal verification
- model checking
- computer systems
- bounded model checking
- automated verification
- symbolic model checking
- model checker
- virtual machine
- microsoft windows
- distributed systems
- linux kernel
- windows xp
- memory management
- application level
- multi threaded
- database
- command line
- embedded systems
- virtual memory
- data center
- data processing
- open source
- e learning