Safe to the last instruction: automated verification of a type-safe operating system

Jean Yang, Chris Hawblitzel
[doi] [Google Scholar] [DBLP] [Citeseer]

PLDI
ACM
Pages 99-110
2010
Topic(s): tools types verification os
Note(s): typed assembly language