> can they prove it? And I would guess that they cannot.

Of course not, to do that you’d need a way to detect all bugs in a program.

If we had an effective way to that, we’d be using to remove all of the bugs from our programs instead of looking for ways to avoid bugs.