June Andronick

1. Comprehensive formal verification of an OS microkernel
   2014/02/01 by Gerwin Klein, June Andronick, Kevin Elphinstone +4 · 5 citations
   Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #Security and Verification in Computing