CoinVoice最新获悉：安全审计机构 Runtime Verification 完成 530 万美元融资，IOSG Ventures 领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性，以及推广「运行中验证」（Runtime Verification）的方式来审计虚拟机以及智能合约。