每千行程式碼的缺陷數趨勢圖

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

文章引用 Markdown

![每千行程式碼的缺陷數隨時間下降的示意圖](https://img.canfly.me/formal-verification/loc.png)

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