PDF(1058456 KB)
VSOSHAM：基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究
钱振江1，2*，黄 皓2，宋方敏2
南京大学学报(自然科学版) ›› 2017, Vol. 53 ›› Issue (3) : 579.
PDF(1058456 KB)
PDF(1058456 KB)
VSOSHAM：基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究
({{custom_author.role_cn}}), {{javascript:window.custom_author_cn_index++;}}SOSHAM：Research on Isabelle/HOLbased OS kernel hardware abstract model and formal verification method
({{custom_author.role_en}}), {{javascript:window.custom_author_en_index++;}}| {{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
| 〈 |
|
〉 |
