Formal verification of a task scheduler for embedded operating systems.
Haiyong SunHang LeiPublished in: J. Intell. Fuzzy Syst. (2020)
Keyphrases
- operating system
- formal verification
- model checking
- computer systems
- model checker
- automated verification
- symbolic model checking
- virtual machine
- embedded systems
- microsoft windows
- virtual memory
- temporal logic
- windows xp
- bounded model checking
- distributed systems
- memory management
- linux kernel
- security mechanisms
- database systems
- client server
- multi tasking