2 ms·
The primary paper to read is "Comprehensive formal verification of an OS microkernel" (2014). http://dl.acm.org/citation.cfm?id=2560537 http://dl.acm.org/citat
by sanxiyn 11y ago
The primary paper to read is "Comprehensive formal verification of an OS microkernel" (2014).
http://dl.acm.org/citation.cfm?id=2560537 http://dl.acm.org/citation.cfm?id=2560537
- tempVariable 11y agoThat 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.