論文：隨著在未來幾年中正式驗證軟體的（智力！）成本變得更便宜，我們將看到軟體領域的革命，大多數軟體將會被正式驗證。

是的，去中心化金融（DeFi）確實需要正式驗證！