区块链已成为各种去中心化金融技术应用的基础。区块链中的漏洞等安全问题可能会导致巨大损失。形式化验证技术被用来保证复杂硬件和软件系统的质量和可信度。本次报告将展示如何利用形式化验证技术来确保基于区块链的系统的可信度。作为案例分析，报告将讨论如何对以太坊虚拟机（EVM）行为和CKB区块链中典型协议进行建模和验证。不同验证技术的组合，如模型检验、定理证明等，为分析和验证基于区块链的系统提供了强有力的支撑。
网络
孙猛
