I framtiden kommer nästan all hårdvara och mjukvara att vara formellt verifierad och bevisbart korrekt, tillsammans med matematik och fysik.