@inproceedings{Klein_DE_09, month = aug, publisher = {ACM}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/1817.pdf}, booktitle = {Proceedings of the 14th International Conference on Functional Programming}, author = {Gerwin Klein and Philip Derrin and Kevin Elphinstone}, title = {Experience Report: {seL4} --- Formally Verifying a High-Performance Microkernel}, address = {Edinburgh, UK}, pages = {91--96}, year = {2009}, video = {http://vimeo.com/6628930} }