这些智能合约漏洞，可能会影响你的账户安全！ 什么是形式化验证？ 维基百科对形式化验证的解释是这样的：在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式化验证的含义是根据某个或某些形式化规范或属性，使用数学的方法证明其正确性或非正确性。传统上在硬件设计领域比较常用。主要原因就是硬件设计周期长，成本高，一旦生产出来就很难改动了。例如一个CPU设计如果已经出芯片了，那么出了问题就是大事。形式验证可以分为三大类：抽象解释（AbstractInterpretation）、形式模型检查（FormalModelChecking，也被称作特性检查）和定理证明（TheoryProver）。 区块链智能合...