>Fuzzing is a statistical technique that isn't ever going to give you a reassurance that a problem doesn't exist. Formal verification doesn't prove that bugs d

>Fuzzing is a statistical technique that isn't ever going to give you a reassurance that a problem doesn't exist. Formal verification doesn't prove that bugs don't exist either, thanks to the aforementioned "bugs in the spec" scenario.