Runtime Vеrification
區塊鏈安全公司
Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計，它還提供軟體測試、驗證服務和產品，以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。
團隊成員
Grigore RosuPresident and CEO
投資方
IOSG Ventures
Fenbushi Capital
Maven 11
Borderless Capital
Hypersphere Ventures
Tezos
MultiversX
cFund投融資詳情
| 輪次 | 金額 | 估值 | 日期 | 投資方 |
|---|---|---|---|---|
-- | ＄161.32M | -- | 2021-06-20 |  IOSG Ventures* Fenbushi Capital+ 6 |