No futuro, quase todo hardware e software será formalmente verificado e comprovadamente correto, junto com matemática e física.