成都链安
-
领域：区块链
平台：不详 坐标：成都市
-
成立时间：2018-03
运营状态：正在运营
项目介绍
链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
公司简介
- 链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
成都市 成都链安科技有限公司
