tesi: poiché il costo (intellettuale!) della verifica formale del software diventerà più economico nei prossimi anni, assisteremo a una rivoluzione nel software in cui la maggior parte del software sarà verificata formalmente

e sì, il defi ha sicuramente bisogno di una verifica formale!