Formal Methods Let You Explore the Corners (2016) | Dark Hacker News