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