stelling: naarmate de (intellectuele!) kosten voor het formeel verifiëren van software in de komende jaren goedkoper worden, zullen we een revolutie in software zien waarbij de meerderheid van de software formeel wordt geverifieerd

en ja, DeFi heeft zeker formele verificatie nodig!