@dekkzz76 @AmenZwa It's important to note that the majority of the problem is due to profit incentive and little else.

A low-regulation engineering field where for-profit actors have incentives to cut costs at every single corner they can. It's hard to imagine it ending any other way.

Also you can use unit tests to exercise a full #DesignByContract implementation too. #StaticVerification is not the only way to ensure a system is behaving correctly (and physical interference suggests it can't).