支持 EOS、以太坊的区块链形式化验证平台。
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
南非领先的区块链项目开发工作室。 NONA概述, NONA信息, NONA区块链, NONA维基, NONA社交, NONA Medium, NONA ICO, NONA回顾, NONA快讯, NONA追踪
基于 Arweave 的去中心化社交平台。 FEEDweave概述, FEEDweave信息, FEEDweave区块链, FEEDweave维基, FEEDweave社交, FEEDweave Medium, FEEDweave ICO, FEEDweave回顾, FEEDweave快讯, FEEDweave追踪
专注于区块链的纽约工作室。 Focus Labs概述, Focus Labs信息, Focus Labs区块链, Focus Labs维基, Focus Labs社交, Focus Labs Medium, Focus Labs ICO, Focus Labs回顾, Focus Labs快讯, Focus Labs追踪
专注于 Layer 2 技术开发。 Pandora Core概述, Pandora Core信息, Pandora Core区块链, Pandora Core维基, Pandora Core社交, Pandora Core Medium, Pandora Core ICO, Pandora Core回顾, Pandora Core快讯, Pandora Core追踪