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