简介
成都链安科技研制出了第一个高度自动化的区块链形式化验证平台VaaS(VerificationasaService),为智能合约和区块链应用提供“军事级”的形式化验证服务。
基本信息
注册资本
151.9261万人民币
成立日期
2018-03-29
名片信息
高新技术企业
是
科技型中小企业
是
品牌信息
工商信息
统一社会信用代码
91510108MA6CCBQE4Q
法定代表人
杨霞
地址
中国(四川)自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号
企业类型
有限责任公司(自然人投资或控股)
登记状态
存续
工商注册号
510108000837521
营业期限
2018-03-29 至 无固定期限
参保人数
113
实缴资本
136.1366万人民币
纳税人识别号
91510108MA6CCBQE4Q
核准日期
2023-06-05
行业
软件和信息技术服务业
组织机构代码
MA6CCBQE4
登记机关
成都高新区市场监督管理局
时光轴
里程碑1
LOG8
2023
2023-06
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%