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 nonameiguess on Thursday March 04, 2021 @03:17PM (#26347659)
A lot of the software that has been formally verified is either proprietary, classified, or used for academic research. Historically not the most open of communities.
[ Parent | on HN ]

There are no comments on this comment yet.