軟體開發的最終形態降臨？以太坊共同創辦人 Vitalik Buterin 今（18）日發表長文，深入探討「形式驗證（Formal Verification）」與...