Formal Verification of a Microkernel Used in Dependable Software Systems.

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer

Browse the full SAFECOMP paper archive.