Comment by Retra

All programming is proof. You just don't often know what exactly it is you're proving.

Anyway, the point is moot: software is not that reliable. It's good at the common case, and is very brittle at the edge cases. That's my experience anyway.