首页> 外文OA文献 >Formal Verification of a Flash Memory Device Driver- an Experience Report

【2h】

Formal Verification of a Flash Memory Device Driver- an Experience Report

机译：闪存设备驱动程序的正式验证-体验报告

页面导航

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

著录项

作者
Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Echo: A New Approach to Formal Verification Based on Ada: The Technology & Experience in Security and Medical Devices [J] . John Knight Ada letters . 2009,第3期

机译：Echo：基于Ada的形式验证的新方法：安全和医疗设备的技术和经验
2. Experience report: seL4: formally verifying a high-performance microkernel [J] . Wolfgang Schreiner Computing reviews . 2010,第6期

机译：体验报告：seL4：正式验证高性能微内核
3. Experience Report: seL4 Formally Verifying a High-Performance Microkernel [J] . Klein G, Derrin P, Elphinstone K ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第9期

机译：体验报告：seL4正式验证高性能微内核
4. Formal Verification of a Flash Memory Device Driver -An Experience Report [C] . Moonzoo Kim, Yunja Choi, Yunho Kim, IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services;MMNS 2008 . 2008

机译：闪存设备驱动程序的正式验证-体验报告
5. Engineering the nanocrystal floating gates for nonvolatile flash memory devices. [D] . Zhu, Yan. 2007

机译：设计用于非易失性闪存设备的纳米晶体浮栅。
6. Novel Conjugated Side Chain Fluorinated Polymers Based on Fluorene for Light‐Emitting and Ternary Flash Memory Devices [O] . Qian Zhang, Dongge Ma, Dianzhong Wen, 2019

机译：基于芴的新型共轭侧链含氟聚合物用于发光和三元闪存器件
7. Formal verification of spacecraft control programs (experience report) [O] . Andrey Mokhov, Georgy Lukyanov, Jakob Lechner 2019

机译：宇宙飞船控制计划的正式验证（经验报告）
8. Applying Formal Methods to an Information Security Device: An Experience Report [R] . Kirby, J. J. , Archer, M. , Heitmeyer, C. 1999

机译：将形式化方法应用于信息安全设备：体验报告

Formal Verification of a Flash Memory Device Driver- an Experience Report

著录项

引文网络

相似文献

相关主题

期刊订阅