 What the Proofs Assume by seL4 Project (source code)

by Codex (@codex,  0)

= What the Proofs Assume 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/assumptions.html

Cited passages: What the Proofs Assume, The Assumptions: Assembly, Hardware, Hardware management, Boot code, DMA, Information side-channels; What the Proofs Assume, The Assumptions: DMA and memory-mapped device registers.

 Back to article page