Runtime Vеrification
Blockchain security companyRuntime Vеrification
@Runtime Vеrificationfan8.36 K
Suivant313
Indice d'influence425
Actualités connexes
Projets similaires
*Si ce n’est pas cliquable, cela signifie qu’aucune information détaillée n’est disponible.
CertiK
Blockchain security companyOpenZeppelin
Crypto cybersecurity technology and services companyQuantstamp
Blockchain security companyHalborn
Blockchain cybersecurity firmMetaTrust
Automatic security scanning solution for Web3 ApplicationsHacken
Web3 cybersecurity auditorsec3
Web3 Security research firmVeridise
Hardening blockchain security with formal methodsA propos de Runtime Vеrification
Adresse
United States
Communauté
Étiquettes
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.
Membres de l'équipe
Grigore RosuPresident and CEO
Investisseurs
Détails du financement
| Cycle de funding | Montant | Estimation | Date | Investisseurs |
|---|---|---|---|---|
-- | €4.60M | -- | 2021-06-20 | + 6 |