The ability to build reliable software has existed for a long time. Commercial airlines make heavy use of it, and serious failures are vanishingly rare.

The problem is building software to those standards of reliability is expensive and slow. Consumer software never justifies it. Business software rarely does. If you want me to accept liability for the consequences of bugs in code I write, I'm giving you a schedule five times as long and a price twenty times as high.