Todo el software en el futuro será verificado formalmente. Aún estamos en una etapa temprana.