Formal Verification of GP Specification based Embedded Operating System.
Haiyong SunHang LeiLei QiaoZheng YangPublished in: CSAE (2018)
Keyphrases
- formal verification
- operating system
- genetic programming
- model checking
- computer systems
- bounded model checking
- model checker
- symbolic model checking
- automated verification
- virtual machine
- windows xp
- microsoft windows
- distributed systems
- multi threaded
- embedded systems
- memory management
- application level
- linux kernel
- temporal logic
- operating environment
- red hat
- discretionary access control
- windows nt
- address space
- database systems