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 eli_gottlieb on Tuesday April 22, 2014 @09:47AM (#7627573)
Yeah, but unit testing suites don't actually reason inductively. Scientists do. Big difference.
[ Parent | on HN ]

There are no comments on this comment yet.