Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
koretzu46
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
koretzu46
16y ago
Today there is an interesting situation in that there exist microkernels with an amount of published formal proofs such as the one by NICTA in this thread and, then, that there exist DO-178B avionics certified microkernels and separation ke