VSOSHAM：基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究

钱振江1，2*，黄　皓2，宋方敏2

SOSHAM：Research on Isabelle/HOLbased OS kernel hardware abstract model and formal verification method

Qian Zhenjiang1，2*，Huang Hao2，Song Fangmin2

南京大学学报(自然科学版) . 2017, (3): 579 .