Hyperkernel: Push-Button Verification of an OS Kernel
Hyperkernel: Push-Button Verification of an OS Kernel
Luke Nelson,Helgi Sigurbjarnarson,4 Autores,Xi Wang
2017 · DOI: 10.1145/3132747.3132748
Symposium on Operating Systems Principles · 116 Citações
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.