Runtime Vеrification

Runtime Vеrification

Blockchain security company
Runtime Vеrification
Runtime Vеrification
@Runtime Vеrification
المتابعون8.11 K
متابعة309
مؤشر التأثير425

أخبار ذات صلة

Runtime Verification Raises $5.3 Million to Advance Blockchain Security
Medium 2021-06-21

مشاريع مشابهة

*إذا لم يكن قابلًا للنقر، فهذا يعني عدم توفر معلومات تفصيلية.
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 methods

حول Runtime Vеrification

العنوان

United States

المجتمع

العلامات

Security Solutions
Security Audit
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

تفاصيل جمع التبرعات

جولة التمويلالمبلغتقييم
التاريخ
المستثمرين
--
﷼‎19.87M
--
2021-06-20
IOSG VenturesIOSG Ventures*
Fenbushi CapitalFenbushi Capital
+ 6