&nbsp;SOS&shy;HAM：Research on Isabelle/HOL&shy;based OS kernel hardware abstract model and formal verification method

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

Qian Zhenjiang1，2*，Huang Hao2，Song Fangmin2

PDF(1058456 KB)

Journal of Nanjing University(Natural Sciences) ›› 2017, Vol. 53 ›› Issue (3) : 579.

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

Author information +

History +

Download Citations

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2017, 53(3): 579

List( Publishing order | Descend order by publishing year | Descend order by cited within ) Chart analysis

PDF(1058456 KB)

Accesses

Citation

Detail

Sections

Recommended