形式化验证共1篇
Move智能合约的形式化验证工具-区块链开发网

Move智能合约的形式化验证工具

“程序测试能证明错误的存在, 但不能证明错误不存在” – Edsger Dijkstra。智能合约是一个对安全性要求非常高的领域,一个不经意的小 bug 很可能会导致不可估量的损失。 智能合约是一个对安...