操作系统代码形式验证研究(IJCNIS-V2-N2-2).pdf

I.J.Computer Network and Information Security, 2010, 2, 10-18 Published Online December 2010 in MECS (/) Code Formal Verification of Operation System Yu Zhang School of Computer Science and Technology, Northwestern Polytechnical University, Xi ’ Email:yuzhang.nwpu@ Yunwei Dong , Huo Hong, Fan Zhang School of Computer Science and Technology, Northwestern