@inproceedings{vonTessin_10, publisher = {EasyChair}, booktitle = {6th International Verification Workshop}, month = jul, slides = {https://trustworthy.systems/publications/nicta_slides/3849.pdf}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/3849.pdf}, year = {2010}, issn = {2040-557X}, editor = {{Markus Aderhold, Serge Autexier and Heiko Mantel}}, keywords = {formal verification, multiprocessor, microkernel, virtualisation, sel4, isabelle/hol}, title = {Towards High-Assurance Multiprocessor Virtualisation}, author = {von Tessin, Michael}, address = {Edinburgh, UK}, pages = {110--125} }