Formal methods let you explore the corners

5 points | by Bluestein 10 hours ago