Comment by impossiblefork

No, the proof is the proof that you generate with formal methods.

Is exhaustive testing even possible in theory?