Abstract : Technical perspective on the CACM Research Highlight paper "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System", by Jean Yang and Chris Hawblitzel
Xavier Leroy. Safety First! (technical perspective). Communications of the ACM, Association for Computing Machinery, 2011, 54 (12), pp.122. ⟨10.1145/2043174.2043196⟩. ⟨hal-01091803⟩