@inproceedings{vonTessin_12,
    month            = apr,
    keywords         = {formal verification, multiprocessor, microkernel, sel4, isabelle/hol},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5618.pdf},
    booktitle        = {2nd Workshop on Systems for Future Multi-core Architectures},
    slides           = {https://trustworthy.systems/publications/nicta_slides/5618.pdf},
    author           = {von Tessin, Michael},
    year             = {2012},
    pages            = {1--6},
    title            = {The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor {OS} Kernels},
    address          = {Bern, Switzerland}
  }