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.
Articles by others on the same topic
There are currently no matching articles.