The OS kernel implements the basic functions of the OS. Verifying the kernel to ensure that it meets specific needs has been a research hotspot in industry and academia. This paper analyzes the safety ...