Hacker News Reader

The primary paper to read is "Comprehensive formal verification of an OS microkernel" (2014).

http://dl.acm.org/citation.cfm?id=2560537

That is $15 for non-members. First Google result for "Comprehensive formal verification of an OS microkernel" is a PDF link on ssrg.nicta.com.au. Good enough for me.

Reply on news.ycombinator.com