@inproceedings{Elphinstone_KK_06, month = aug, paperurl = {https://trustworthy.systems/publications/papers/Elphinstone_KK_06.pdf}, editor = {Rustan Leino}, series = {Microsoft Research Technical Report MSR-TR-2006-117}, author = {Kevin Elphinstone and Gerwin Klein and Rafal Kolanski}, year = {2006}, address = {Seattle, USA}, booktitle = {Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06)}, title = {Formalising a High-Performance Microkernel}, pages = {1-7} }