Formal verification catches completeness bugs that property-based testing struggles to reach.