3 ms·
sel4 is the example of building a safe C program if you go above and beyond in effort. It's provably safer than rust, e.g.
by throwawaymaths 11mo ago
sel4 is the example of building a safe C program if you go above and beyond in effort.
It's provably safer than rust, e.g.
- gf000 11mo agoThere are obviously multiple levels of correctness. Formal verification is just the very top of that spectrum, but it does comes at extraordinary effort.
- throwawaymaths 11mo agodid i read "above and beyond"