全球首个EOS安全管家：区块链形式化验证平台VaaS
报价宝综合消息全球首个EOS安全管家：区块链形式化验证平台VaaS
电子科技大学信息与软件工程学院杨霞副教授带领一支区块链形式化验证团队，经过近2年的研究和努力，研制出了一套高度自动化的区块链形式化验证平台VaaS（Verification as a Service）。VaaS提供了针对智能合约的形式化验证工具，极大提高了智能合约的安全性与可靠性。产品通过对合约代码进行严格的安全验证，杜绝逻辑漏洞，确保合约安全，在满足实际应用效率需求的同时，达到有效控制漏洞风险的目的。近期，VaaS将重点专注于EOS区块链平台的形式化验证工作，为EOS提供全面的形式化验证服务。
