Comprehensive Formal Verification of an OS Microkernel [pdf]courses.cs.washington.edu1 point·itsspring··0 commentsOpen articleSaveView on HN