A real-world case of property-based verification | Dark Hacker News