>>11 If your code can't be proved to be correct, something is already wrong.
Virtually every piece of software ever written is wrong? Most (read: all except one or two academic) languages aren't specified fully enough for a formal proof to even be possible.