Dong Yunwei

Work place: School of Computer Science, Northwestern Polytechnical University, Xi’an, China

E-mail: yunweidong@nwpu.edu.cn

Website:

Research Interests:

Biography

Author Articles
The Study on Formal Verification of OS Kernel

By Zhang Yufeng Dong Yunwei Zhang Zhongqiu Huo Hong Zhang Fan

DOI: https://doi.org/10.5815/ijwmt.2011.03.10, Pub. Date: 15 Jun. 2011

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. We 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. We present a case study to the verification of real-world C systems code derived from an implementation of μC/OS – II in the end.

[...] Read more.
Other Articles