 seL4 Proofs by seL4 Project

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/proofs.html

Cited passages: seL4 Proofs, High-level Proof Statements: Functional correctness; Binary correctness; Security; System initialisation; platform/configuration qualification.