Runtime Vеrification

Runtime Vеrification

Blockchain security company

Runtime Vеrificationについて

受信アドレス

United States

コミュニティ

Runtime Verification uses formal methods to perform security audits on virtual machines and smart contracts on public blockchains. It also provides software testing, verification services, and products to improve the safety, reliability, and correctness of software systems in the blockchain space.

チームメンバー

Grigore Rosu
Grigore RosuPresident and CEO
Patrick MacKay
Patrick MacKay COO

投資家

IOSG VenturesIOSG Ventures
Fenbushi CapitalFenbushi Capital
Maven 11Maven 11
Borderless CapitalBorderless Capital
Hypersphere VenturesHypersphere Ventures
TezosTezos
MultiversXMultiversX
cFundcFund

資金調達の詳細

資金調達ラウンド金額評価額
Date
投資家
--
¥785.50M
--
2021-06-20
IOSG VenturesIOSG Ventures*
Fenbushi CapitalFenbushi Capital
+ 6