成都链安

成都市

链安科技是一个**形式化验证平台，旗下有自动化的**形式化验证平台VaaS（Verification as a Service），为智能合约和**应用提供“军事级”的形式化验证服务。