融资新闻丨安全审计机构Runtime Verification完成530万美元融资，由IOSG领投

    在最新一轮融资中，区块链安全审计公司 Runtime Verification 筹集了 530 万美元。 本轮融资由 IOSG Ventures 领投。
    根据新闻稿，这轮融资主要投资者是风险投资市场的主要参与者：分布式资本、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation。
    这次募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统计算系统的安全性、可靠性和正确性。 另一个方向是扩大运行时验证的全球影响力和主导地位。
    该公司在五个重要区块链的开发人员的加速器计划中验证了其安全系统和分析软件开发方法的有效性。
    由于计划发布新产品和安全工具，该公司预计在未来几年将快速增长。 预计公司将扩大员工规模，目前正专注于招聘新的团队成员。 Runtime Verification 还希望扩大其在亚太地区的业务，这将在不久的将来成为其优先事项。 特别是，它最近在新加坡创建了一个新的商业实体。
    Runtime Verification时验证使用基于运行时验证的技术对虚拟机和智能合约进行安全审计。