The Study on Formal Verification of OS Kernel

Provided by: mecs-press
Topic: Software
Format: PDF
There is increasing pressure on providing a high degree of assurance of operation system's security and functionality. Formal verification is the only known way to guarantee that a system is free of programming errors. The authors study on formal verification of operation system kernel in system implementation level and take theorem proving and model checking as the main technical methods to resolve the key techniques of verifying operation system kernel in C implementation level.

Find By Topic