4 ms·
Many eyes worked in this case.. It just took a long time to find. The question now is what will it find next and when?
by xuu 12y ago
Many eyes worked in this case.. It just took a long time to find. The question now is what will it find next and when?
- lttlrck 12y agoeven with a comment in the code...
- mannykannot 12y agoIt worked in the sense that the lifeboats on the Titanic worked - they did, after all, save hundreds of lives. The combination of time and severity in this case should mean that we can move on from naive 'all bugs are shallow' dogma towards developing a more evidence-based approach to the verification of critical software.