四種表達意圖的方法

作者: Vitalik Buterin
來源: A shallow dive into formal verification
授權: WTFPL（依 Vitalik blog repository 說明）
原始檔: expressed-intention.png

文章引用 Markdown

![程式、型別系統、測試案例與形式化驗證共同表達人的意圖](https://img.canfly.me/formal-verification/expressed-intention.png)

*圖片來源：Vitalik Buterin〈A shallow dive into formal verification〉；依其 blog repository 說明，以 WTFPL 釋出。*