tese: à medida que o custo (intelectual!) de verificar formalmente o software se torna mais barato nos próximos anos, vamos assistir a uma revolução no software onde a maioria do software será verificada formalmente

e sim, a defi definitivamente precisa de verificação formal!