Hacker News new | ask | show | jobs
Comprehensive Formal Verification of an OS Microkernel [pdf] (courses.cs.washington.edu)
1 points by itsspring 2207 days ago