1. 引言
a16z crypto团队开源了其Solidity合约形式化验证工具:
参考资料
[1] Twitter Halmos announce
[2] Symbolic testing with Halmos: Leveraging existing tests for formal verification
a16z crypto团队开源了其Solidity合约形式化验证工具:
[1] Twitter Halmos announce
[2] Symbolic testing with Halmos: Leveraging existing tests for formal verification