这些智能合约漏洞，可能会影响你的账户安全！

华为云开发者联盟

2021-08-04

摘要：区块链联盟链智能合约形式化验证揭秘，解释了我们为什么要对区块链上的智能合约进行形式化验证，以及形式化验证的分类和业界针对每种分类所推出的形式化验证工具，最后作者描述了一下目前形式化验证的种种方法所面临的问题及对于这个领域技术发展的展望