Todo el software en el futuro será verificado formalmente. Todavía vamos temprano.