Proving Memory Separation in a Microkernel by Code Level Verification.

Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev

Browse the full ISORC paper archive.