Then you are shipping some incredibility buggy software then whether you are aware of that or not. The overwhelming majority of bugs in software are behavioura

Then you are shipping some incredibility buggy software then whether you are aware of that or not. The overwhelming majority of bugs in software are behavioural bugs, which typing does not catch. If you want to go down the formalism route to catch bugs then at the bare minimum you require Z formal specifications for all your code. Do you have Z formal specifications for all your code?