I'm speaking of verification, which is about making code (provably) airtight with respect to specifications, now and forever. You're answering with finding bug

I'm speaking of verification, which is about making code (provably) airtight with respect to specifications, now and forever. You're answering with finding bugs, which is about fixing one issue at a time. Both are useful, but we're not speaking of the same scale.