Runtime Vеrification
区块链安全公司
Runtime Verification 使用形式化方法对公链上的虚拟机和智能合约进行安全审计，它还提供软件测试、验证服务和产品，以提高区块链领域软件系统的安全性、可靠性和正确性。
团队成员
Grigore Rosu总裁兼首席执行官
Patrick MacKay COO
投资方
IOSG Ventures
Fenbushi Capital
Maven11
Borderless Capital
Hypersphere Ventures
Tezos
MultiversX
cFund投融资详情
| 轮次 | 金额 | 估值 | 日期 | 投资方 |
|---|---|---|---|---|
-- | ¥38.16M | -- | 2021-06-20 |  IOSG Ventures* Fenbushi Capital+ 6 |