Jean Yang, Chris Hawblitzel. Safe to the last instruction: automated verification of a type-safe operating system. Communications of the ACM, 54(12):123-131, 2011. [doi]
@article{YangH11-5,
title = {Safe to the last instruction: automated verification of a type-safe operating system},
author = {Jean Yang and Chris Hawblitzel},
year = {2011},
doi = {10.1145/2043174.2043197},
url = {http://doi.acm.org/10.1145/2043174.2043197},
researchr = {https://researchr.org/publication/YangH11-5},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {54},
number = {12},
pages = {123-131},
}