These: Da die (intellektuellen!) Kosten für die formale Verifizierung von Software in den kommenden Jahren sinken, werden wir eine Revolution in der Software erleben, bei der die Mehrheit der Software formell verifiziert wird.

und ja, DeFi benötigt definitiv eine formale Verifizierung!