@inproceedings{Klein_DE_09_2,
    address          = {Edinburgh, UK},
    author           = {Klein, Gerwin and Derrin, Philip and Elphinstone, Kevin},
    booktitle        = {International Conference on Functional Programming},
    editor           = {{Andrew Tolmach}},
    keywords         = {sel4, microkernel, isabelle, formal verification},
    month            = aug,
    pages            = {91--96},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1817.pdf},
    publisher        = {ACM},
    title            = {Experience Report: {seL4} -- Formally Verifying a High-Performance Microkernel},
    year             = {2009}
  }