Formal methods let you explore the corners

(johndcook.com)

5 points | by Bluestein 10 hours ago ago