Halmos：Solidity合约形式化验证工具
Posted mutourend
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Halmos：Solidity合约形式化验证工具相关的知识，希望对你有一定的参考价值。
1. 引言
a16z crypto团队开源了其Solidity合约形式化验证工具：
参考资料
[1] Twitter Halmos announce
[2] Symbolic testing with Halmos: Leveraging existing tests for formal verification
以上是关于Halmos：Solidity合约形式化验证工具的主要内容，如果未能解决你的问题，请参考以下文章
智能合约实战 solidity 语法学习 11 [ 以太坊发币 验证合约 体验下过程 ] 附代码
智能合约实战 solidity 语法学习 11 [ 以太坊发币 验证合约 体验下过程 ] 附代码