Safety Certification with the Open Source Microkernel-Based Operating System L4Re.

Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hhnel

Browse the full SAFECOMP paper archive.