À l'avenir, presque tout le matériel et les logiciels seront formellement vérifiés et prouvés corrects, ainsi que les mathématiques et la physique.