链安科技四川2018

推出“一键式”智能合约自动形式化验证工具

官方网址：http://www.lianantech.com 收藏 0
标签&专辑 A轮 产业升级 产业升级 中关村科创大赛 高新技术企业 科技型中小企业 中关村科创大赛 编辑维护 我要联系

项目库介绍

针对区块链严峻的安全形势，成都链安科技以“形式化验证”为核心技术，推出了“一键式”智能合约自动形式化验证工具Beosin-VaaS。可一键查验代码漏洞，检测准确率超过97%。

项目动态

工商备案

  • 成都链安科技有限公司
  • 杨霞
  • 四川
  • 2018年
  • 中国（四川）自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号
联系方式
加关注

加为好友 我要联系