区块链形式化验证平台VaaS研制成功
【区块链形式化验证平台VaaS研制成功】电子科技大学信息与软件工程学院杨霞副教授带领的区块链形式化验证团队,研制出一套高度自动化的区块链形式化验证平台VaaS,提供针对智能合约的形式化验证工具,近期,VaaS将重点专注于EOS区块链平台的形式化验证工作。
正文到此结束
- 本文标签: 最新
- 本文链接: https://btcnav.com/article/20568
- 版权声明: 本文由btcnav.com原创发布,转载请遵循《署名-非商业性使用-相同方式共享 4.0 国际 (CC BY-NC-SA 4.0)》许可协议授权