
Runtime Vеrification
Blockchain security company
Runtime Vеrification
@Runtime Vеrificationファン8.11 K
フォロー309
インフルエンス指数425
類似プロジェクト
*クリックできない場合は、詳細情報がないことを意味します。

CertiK
Blockchain security company
OpenZeppelin
Crypto cybersecurity technology and services company
Quantstamp
Blockchain security company
Halborn
Blockchain cybersecurity firm
MetaTrust
Automatic security scanning solution for Web3 Applications
Hacken
Web3 cybersecurity auditor
sec3
Web3 Security research firm
Veridise
Hardening blockchain security with formal methodsRuntime 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 RosuPresident and CEO

Patrick MacKay COO
投資家








資金調達の詳細
資金調達ラウンド | 金額 | 評価額 | Date | 投資家 |
---|---|---|---|---|
-- | ¥785.50M | -- | 2021-06-20 | ![]() ![]() + 6 |