Runtime Vеrification
Blockchain security company
Runtime Vеrification
@Runtime Vеrificationfan8.36 K
Siguiendo313
Índice de influencia425
Noticias Relacionadas
Proyectos similares
*Si no se puede hacer clic, significa que no hay información detallada disponible.
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 methodsAcerca de Runtime Vеrification
Dirección
United States
Comunidad
Etiquetas
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.
Miembros del equipo
Grigore RosuPresident and CEO
Inversores
IOSG Ventures
Fenbushi Capital
Maven 11
Borderless Capital
Hypersphere Ventures
Tezos
MultiversX
cFundDetalles de la recaudación de fondos
| Ronda de financiación | Cantidad | Valuación | Date | Inversores |
|---|---|---|---|---|
-- | €4.60M | -- | 2021-06-20 |  IOSG Ventures* Fenbushi Capital+ 6 |