Hacker News new | ask | show | jobs
by bglazer 4044 days ago
The seL4 mircrokernel is comprehensively formally verified and is marketed towards aerospace applications.

https://sel4.systems/