Please enable JavaScript to experience Vimeo in all of its glory.
from Malcolm Wallace
Experience Report: seL4: Formally Verifying a High-Performance Microkernel
Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA
International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN