安全系统开发商Runtime Verification完成530万美元融资，IOSG Ventures领投

决策财经 IF9.CN 消息，6 月 18 日，Elrond Dev Toolkit 开发商 Runtime Verification 完成 530 万美元融资，IOSG Ventures 领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。