Formal Verification Of An OS Kernel [pdf]sigops.org2 points·samwilliams··0 commentsOpen articleSaveView on HN