No futuro, quase todo o hardware e software será formalmente verificado e provadamente correto, juntamente com a matemática e a física.