News for hackers. Stuff that matters.

A comment on Bug finding is slow in spite of many eyeballs. Parent comment

Re:Bug finding is slow in spite of many eyeballs by jdc on Monday February 23, 2015 @01:40PM (#9096034)
What are some examples of non-trivial working formally verified software?
[ Parent | on HN ]
Re:Bug finding is slow in spite of many eyeballs by maemre on Monday February 23, 2015 @05:21PM (#9097446)
There is Quark [1], a web browser with formally verified kernel. Here, kernel is a process which manages other slave (helper) processes which render the page actually.

[1]: http://goto.ucsd.edu/quark/

[ Parent | on HN ]
Re:Bug finding is slow in spite of many eyeballs by fdej on Monday February 23, 2015 @01:48PM (#9096085)
http://compcert.inria.fr/ is the first that comes to mind.
[ Parent | on HN ]