参考： 智能合约的形式化验证方法 那些被一行代码蒸发1个亿的智能合约，形式化验证了解一下？ | 人物志 以太坊用形式化验证提高智能合约的安全性 伦敦金融科技公司Aesthetic Integration为基于区块链智能合约推出形式化验证平台 形式化验证（Formal verification）如何确保完美的智能合同？
why3 Imandra
ChinaLedger联盟发布《TheDAO被攻击事件考察报告》 以太坊专题 | 安全性设计（从零开始学区块链 165）