计算机工程2009，Vol.35Issue(11)：131-133,3.
采用SPIN的L4内存管理形式化验证
Formal Verification of L4 Memory Management Using SPIN
摘要
关键词
L4微内核/地址空间操作原语/模型检验分类
信息技术与安全科学引用本文复制引用
陈超超,曾庆凯..采用SPIN的L4内存管理形式化验证[J].计算机工程,2009,35(11):131-133,3.基金项目
国家自然科学基金资助项目(60773170,60721002) （60773170,60721002）
国家"863"计划基金资助项目(2006AA01ZA32) （2006AA01ZA32）
