计算机工程2015，Vol.41Issue(11)：94-99,6.DOI:10.3969/j.issn.1000-3428.2015.11.017
针对NAND闪存硬件的形式化建模
Formal Modeling for NAND Flash Hardware
摘要
关键词
形式化验证/Coq证明工具/闪存设备/形式化建模/高可信软件/存储系统Key words
formal verification/Coq proof tool/Flash device/formal modeling/high confidence software/storage system分类
信息技术与安全科学引用本文复制引用
杨龙婴,郭宇..针对NAND闪存硬件的形式化建模[J].计算机工程,2015,41(11):94-99,6.基金项目
国家自然科学基金青年基金资助项目(61202052,61103023) （61202052,61103023）
国家自然科学基金海外及港澳学者合作研究基金资助项目(61229201). （61229201）
