I know you're not supposed to quote yourself, but I came up with a cool saying about this a while back and I just want to share it.

Computer proof verification is like taking off and nuking the whole site from orbit: it's the only way to be sure.