What you are espousing is known as “defensive programming” which is very much a bad thing (tm).
I'm sorry if this might be common knowledge, but I've honestly never heard this and can't understand it.
Is it saying that it's better to do something than to (formally) prove it, like the opposite of (I think) Knuth's famous quote?