SeL4
Overview
seL4
http://sel4.systems/
a high-assurance, high-performance microkernel
a high-assurance, high-performance microkernel developed, maintained and formally verified by NICTA and owned by General Dynamics C4 Systems. It is a member of the L4 family of microkernels, and is the world's most advanced, highest-assured operating-system microkernel.
seL4's implementation is formally (mathematically) proved correct (bug-free) against its specification, is proved to enforce strong security properties, and its operations have proved save upper bounds on their worst-case execution times.
Details
Licensing
License
Verified by
Verified on
Notes
License
License
Leaders and contributors
| Contact(s) | Role |
|---|---|
| Adrian Danis | |
| Stephen Sherratt | |
| Gerwin Klein | |
| Thomas Sewell | |
| akroh <Alexander.Kroh@nicta.com.au> | |
| Matthew Fernandez | |
| Wink Saville | |
| Joel Beeren | |
| Anna Lyons |
Resources and communication
Software prerequisites
About this entry
<headertabs />
