Safety First! (technical perspective)
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
Journal Articles
Communications of the ACM
Year : 2011
Xavier Leroy : Connect in order to contact the contributor
https://hal.inria.fr/hal-01091803
Submitted on : Saturday, December 6, 2014-5:59:05 PM
Last modification on : Thursday, February 3, 2022-11:18:39 AM
Cite
Xavier Leroy. Safety First! (technical perspective). Communications of the ACM, 2011, 54 (12), pp.122. ⟨10.1145/2043174.2043196⟩. ⟨hal-01091803⟩
102
View
0
Download