4 ms·
Comprehensive formal verification of an OS microkernel with complete PDF available for download http://ssrg.nicta.com.au/publications/nictaabstracts/Klein_AEMS
by tommi 12y ago
Comprehensive formal verification of an OS microkernel with complete PDF available for download
http://ssrg.nicta.com.au/publications/nictaabstracts/Klein_AEMSKH_14.abstract.pml http://ssrg.nicta.com.au/publications/nictaabstracts/Klein_A...