公司描述： 链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（VerificationasaService），为智能合约和区块链应用提供“军事级”的形式化验证服务。