Survey of the Formal Verification of Operating Systems in Power Monitoring System.
Kangle YangJianye YuXinshen WeiFeng YouHaidong HuangXuesong HuoPublished in: PRIS (2023)
Keyphrases
- monitoring system
- operating system
- formal verification
- model checking
- computer systems
- windows xp
- virtual machine
- health monitoring
- distributed systems
- power consumption
- data collection
- application programs
- virtual memory
- windows nt
- field bus
- multi tasking
- virtual instrument
- heterogeneous wireless sensor networks
- databases
- vital signs
- operating environment
- wireless sensor networks