I fremtiden vil nesten all maskinvare og programvare være formelt verifisert og bevisbart korrekt, sammen med matematikk og fysikk.