We have the theory[1] to make it robust as civil or structural engineering. We don't use the theory at our own peril. [1] A good starting point https://en.wiki

We have the theory[1] to make it robust as civil or structural engineering. We don't use the theory at our own peril. [1] A good starting point https://en.wikipedia.org/wiki/Hoare_logic https://en.wikipedia.org/wiki/Hoare_logic