TES: I takt med att den (intellektuella!) kostnaden för att formellt verifiera programvara blir billigare de kommande åren, kommer vi att se en revolution inom mjukvara där majoriteten av programvaran blir formellt verifierad

Och ja, DeFi behöver definitivt formell verifiering!