公司简介
成都链安科技研制出了第一个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
核心团队
杨霞
创始人&CEO
郭文生
CTO
融资次数
5
员工数量
50-99人
专利数量
29
经营范围
许可项目：互联网信息服务。（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）一般项目：技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件开发；信息系统集成服务；软件销售；互联网数据服务；数据处理和存储支持服务。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
专注于区块链安全的形式化验证服务及相关安全解决方案，包括智能合约审计、威胁监测和防护，旨在为企业提供高可靠性的安全保障。
成都链安科技有限公司
有限责任公司(自然人投资或控股)
￥172万
2018-03-29
杨霞
028-83262585
wangkeyin@lianantech.com
中国（四川）自由贸易试验区成都高新区天府大道中段1268号1栋7层11-15号