犬币即时快讯形式化验证工具Runtim...

形式化验证工具Runtime完成由IOSG领投的530万美元融资

巴比特讯,6月18日,安全审计机构 Runtime Verification 近日完成 530 万美元融资,IOSG Ventures 领投,其他投资机构包括Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation。

本轮募集的资金将用于加速工具的开发,旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性,以及推广「运行中验证」(Runtime Verification)的方式来审计虚拟机以及智能合约。

相关文章

Comments

LEAVE A REPLY

Please enter your comment!
Please enter your name here

2 × 3 =

最新文章

spot_img