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