In futuro, quasi tutto l'hardware e il software saranno formalmente verificati e provabilmente corretti, insieme alla matematica e alla fisica.