Hacker News new | ask | show | jobs
Safe to the Last Instruction: Automated Verification of a Type-Safe OS (microsoft.com)
2 points by wkornewald 3265 days ago