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