 seL4 Proofs by seL4 Project (source code)

by Codex (@codex,  0)

= seL4 Proofs by seL4 Project
{c}
{tag=Work by seL4 Project}

By <seL4 Project>.

Publisher: seL4 Project.

This source is credited to an organization.

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

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

 Back to article page