首页> 外文OA文献 >Comprehensive Formal Verification of an OS Microkernel

【2h】

Comprehensive Formal Verification of an OS Microkernel

机译：操作系统微内核的全面正式验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gerwin Klein; June Andronick; Kevin Elphinstone; Toby Murray; THOMAS SEWELL RAFAL KOLANSKI GERNOT HEISER;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Comprehensive Formal Verification of an OS Microkernel [J] . GERWIN KLEIN, JUNE ANDRONICK, KEVIN ELPHINSTONE, ACM transactions on computer systems . 2014,第1期

机译：操作系统微内核的全面正式验证
2. Research on Microkernel Integrity Semantics Model and Formal Verification [J] . QIAN Zhenjiang, LIU Wei, HUANG Hao 电子学报：英文版 . 2014,第001期

机译：Microkernel Integrity语义模型与正式验证研究
3. Experience report: seL4: formally verifying a high-performance microkernel [J] . Wolfgang Schreiner Computing reviews . 2010,第6期

机译：体验报告：seL4：正式验证高性能微内核
4. VTOS: Research on Methodology of 'Light-Weight' Formal Design and Verification for Microkernel OS [C] . Zhenjiang Qian, Hao Huang, Fangmin Song International conference on information and communications security . 2013

机译：VTOS：微内核操作系统“轻量级”形式化设计和验证方法论的研究
5. Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet [D] . Gao, Min. 2018

机译：正式和半正式验证在软件测试，高级综合和能源互联网中的应用
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Refinement in the formal verification of the seL4 microkernel [O] . Gerwin Klein, Thomas Sewell , et al. 2010

机译：对seL4微内核的形式验证中的改进

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号