成都链安科技

成都链安科技研制出了*个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。