3 ms·
The seL4 mircrokernel is comprehensively formally verified and is marketed towards aerospace applications. https://sel4.systems/ https://sel4.systems/
by bglazer 11y ago
The seL4 mircrokernel is comprehensively formally verified and is marketed towards aerospace applications.
https://sel4.systems/ https://sel4.systems/