La verificación formal sigue siendo el camino.