Formal methods let you explore the corners

(johndcook.com)

5 points | by Bluestein 9 hours ago ago