Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Read post
allenai.org·3d·
Discuss: Hacker News