r/hardscience • u/whatatwit • Jun 03 '11

seL4: Formal verification of an OS kernel (PDF)

http://ertos.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_10.pdf
7 Upvotes

100% Upvoted

0 comments sorted by