sel4 is the example of building a safe C program if you go above and beyond in e... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		throwawaymaths 57 days ago \| parent \| context \| favorite \| on: A Note on Fil-C 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 57 days ago [–]

There are obviously multiple levels of correctness. Formal verification is just the very top of that spectrum, but it does comes at extraordinary effort.

throwawaymaths 56 days ago | [–]

did i read "above and beyond"

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact