Why fuzzing over formal verification?