Move语言社区

介绍一下Move智能合约的形式化验证工具

智能合约是一个对安全性要求非常高的领域,一个不经意的小bug很可能会导致不可估量的损失。应对智能合约中的bug,除了加强测试之外就没有更好的解决办法了吗?不妨试一试Move智能合约的形式化验证工具