News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.