KLean: Extending Operating System Kernels with Lean.

Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis

Browse the full PLOS paper archive.