tesis: a medida que el costo (¡intelectual!) de verificar formalmente el software se vuelva más barato en los próximos años, vamos a ver una revolución en el software donde la mayoría del software será verificado formalmente

¡y sí, defi definitivamente necesita verificación formal!