Hyperkernel: Push-Button Verification of an OS Kernel
Hyperkernel: Push-Button Verification of an OS Kernel
Luke Nelson,Helgi Sigurbjarnarson,4 作者,Xi Wang
2017 · DOI: 10.1145/3132747.3132748
Symposium on Operating Systems Principles · 引用数 116
TLDR
Experience shows that Hyperkernel can avoid bugs similar to those found in xv6, and that the verification of Hyper kernel can be achieved with a low proof burden.