介绍Move的形式化验证，通过形式化验证工具，提升合约的安全性。

形式化验证【安全加固，为业务护航】