În viitor, aproape tot hardware-ul și software-ul vor fi verificate formal și dovedesc corecte, împreună cu matematica și fizica.