@inproceedings{Klein_DE_09, address = {Edinburgh, UK}, author = {Gerwin Klein and Philip Derrin and Kevin Elphinstone}, booktitle = {Proceedings of the 14th International Conference on Functional Programming}, 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}, video = {http://vimeo.com/6628930}, year = {2009} }