In der Zukunft werden nahezu alle Hardware und Software formal verifiziert und nachweislich korrekt sein, ebenso wie Mathematik und Physik.