2 results for tags
L4 x
-
Trustworthy Systems
We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.Wed Jan 19 17:11:13 2022 - permalink -- https://trustworthy.systems/about/
-
microkerneldude | Random rants and pontifications by Gernot Heiser
Blog of Gernot Heiser, one of the developers of the seL4 verified microkernel.Wed Jan 19 17:09:12 2022 - permalink -- https://microkerneldude.org/