A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Code Formal Verification of Operation System
2010
International Journal of Computer Network and Information Security
with the increasing pressure on non-function attributes (security, safety and reliability) requirements of an operation system, high-confidence operation system is becoming more important. Formal verification is the only known way to guarantee that a system is free of programming errors. We research on formal verification of operation system kernel in system code level and take theorem proving and model checking as the main technical methods to resolve the key techniques of verifying operation
doi:10.5815/ijcnis.2010.02.02
fatcat:2xx46lr5grh4tb4hpulujdxh3q