Trustworthy Systems

Multiprocessor-Kernel Verification

Multiprocessor-Kernel Verification was a research activity of the Trustworthy Systems project.

The Clustered-Multikernel Design
The Clustered-Multikernel Design

People

Past

  • Michael von Tessin

Publications

Abstract PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor operating-system kernels
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, December, 2013
Abstract
Slides
PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor OS kernels
2nd Workshop on Systems for Future Multi-core Architectures, pp. 1–6, Bern, Switzerland, April, 2012
Abstract
Slides
PDF Michael von Tessin
Towards high-assurance multiprocessor virtualisation
6th International Verification Workshop, pp. 110–125, Edinburgh, UK, July, 2010
Abstract   Michael von Tessin
Towards a formally verifiable multiprocessor microkernel
Poster presented at the 2009USENIX Annual Technical Conference, June, 2009