News for hackers. Stuff that matters.

A comment on Ask HN: Why aren't we building a database of formally verified software?.

Re:Ask HN: Why aren't we building a database of formally ver... by zero_deg_kevin on Thursday March 04, 2021 @03:14PM (#26347622)
I think some of the "why" has to do with it being time-consuming and expensive. There's also the "hur-hur n00b, your spec can be wrong, so verification is pointless" crowd that pops up any time the subject comes up.

That said, my favorite verified software packages are seL4 (https://sel4.systems) and the CompCert C Compiler (https://compcert.org/compcert-C.html).

[ Parent | on HN ]

There are no comments on this comment yet.