News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by platz on Sunday April 20, 2014 @08:44PM (#7619092)
Perhaps Test Driven Design is more about producing a certain kind of design, rather than about guarantees about correctness.
[ Parent | on HN ]

There are no comments on this comment yet.