基于Isabelle/HOL的安全操作系统形式化验证方法
郭 毅,杨维永,刘 苇
Formal Verification Method of Secure Operating System Based on Isabelle/HOL
GUO Yi, YANG Wei-yong, LIU Wei
计算机与现代化 . 2017, (4): 99 -104 .  DOI: 10.3969/j.issn.1006-2475.2017.04.0020

版权所有 © 《计算机与现代化》编辑部
地址：江西省南昌市西湖区井冈山大道1416号　邮编：330003
电话：0791－86490996　 传真：0791-86492535　 Email：jgsdd@163.com
本系统由北京玛格泰克科技发展有限公司设计开发