Elrond Dev Toolkit开发商Runtime Verification完成530万美元融资，IOSG Ventures领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。
官方消息，Elorand 开发工具包开发商 Runtime Verification已筹集了530万美元的资金。本轮融资由IOSG Ventures 领投，其他投资者还包括Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation等。（U.Today）
金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。 Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了"运行时验证"这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
