News for hackers. Stuff that matters.

A comment on How a coding error fueled a dispute between two condensed matter theorists. Parent comment

Re:How a coding error fueled a dispute between two condensed... by adrianN on Thursday August 23, 2018 @08:52AM (#17826796)
That is completely different from formal verification. Simple testing is something all researchers that I know do, quite extensively actually.
[ Parent | on HN ]

There are no comments on this comment yet.