Export Citations
1 Results
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,770,948 records)|Limit your search to The ACM Full-Text Collection (760,506 records)
Showing 1 - 1of1 Results
- research-articleAugust 2023
Survey of the Formal Verification of Operating Systems in Power Monitoring System
PRIS '23: Proceedings of the 2023 5th International Conference on Pattern Recognition and Intelligent SystemsPages 65–70https://doi.org/10.1145/3609703.3609714The formal verification of the operating systems in power monitoring system is an important means to ensure the security of the operating system in power monitoring system. This paper introduces the verification principles and framework of formal ...