| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
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
https://hal.inria.fr/hal-01091803
Contributor : Xavier Leroy <>
Submitted on : Saturday, December 6, 2014 - 5:59:05 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Contributor : Xavier Leroy <>
Submitted on : Saturday, December 6, 2014 - 5:59:05 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Links full text
