A verificação formal continua sendo o caminho.