thèse : à mesure que le coût (intellectuel !) de la vérification formelle des logiciels devient moins cher dans les années à venir, nous allons assister à une révolution dans le logiciel où la majorité des logiciels sera vérifiée formellement

et oui, le defi a définitivement besoin d'une vérification formelle !