成都链安

（区块链形式化验证平台）

链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。\r\n 公司地址：四川-成都公司规模：30-50人融资阶段：天使轮微博：https://weibo.com/u/6566884467 官网：https://www.lianantech.com/#/