公司简介
成都链安科技有限公司成立于2018年03月29日，注册地位于中国(四川)自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号，法定代表人为杨霞。经营范围包括计算机技术开发、技术咨询、技术服务、技术推广、技术转让；软件开发；计算机系统集成；基础软件服务；应用软件服务；销售：计算机软硬件及辅助设备。（依法须经批准的项目，经相关部门批准后方可开展经营活动）。成都链安科技有限公司对外投资2家公司。
产品介绍
成都链安
成都链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
京ICP备17055181号