@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} }