|
|
楼主
| 收藏
| 举报
| 管理
2018-04-10
浏览: 9 回复: 0
EOS.CYBEX推出首个EOS形式化验证平台
据EOS.CYBEX社区消息，由杨霞副教授（电子科技大学信息与软件工程学院）带领全球名校团队（耶鲁、UCLA等）组建的链安科技，研发了高度自动化的区块链形式化验证平台VaaS（Verification as a Service），并在此基础上，与EOS.CYBEX社区共同建立了服务于EOS生态系统的形式化验证平台。今年5月，EOS.CYBEX将在巴黎举行安全专家meet up。
|
