There are obviously multiple levels of correctness. Formal verification is just ... | Hacker News

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

		gf000 3 months ago \| parent \| context \| favorite \| on: A Note on Fil-C 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 3 months ago [–]

did i read "above and beyond"

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