Safety First! (technical perspective)
Résumé
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
Article Dans Une Revue
Communications of the ACM
Année : 2011
Xavier Leroy : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01091803
Soumis le : samedi 6 décembre 2014-17:59:05
Dernière modification le : jeudi 3 février 2022-11:18:39
Citer
Xavier Leroy. Safety First! (technical perspective). Communications of the ACM, 2011, 54 (12), pp.122. ⟨10.1145/2043174.2043196⟩. ⟨hal-01091803⟩
111
Consultations
0
Téléchargements