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
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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