I wrote this: > Fuzzing is only relevant where formal verification cannot be exhaustively applied (which is reality in turing complete languages), or is too co

I wrote this: > Fuzzing is only relevant where formal verification cannot be exhaustively applied (which is reality in turing complete languages), or is too cost-prohibitive.