Industry-leading formal verification tools & smart contract audits.
| Website | http://www.certora.com |
| Revenue | $13.7 million |
| Employees | 91 (75 on RocketReach) |
| Founded | 2018 |
| Phone | +972 3-640-7606 |
| Technologies |
JavaScript
,
HTML
,
PHP
+18 more
(view full list)
|
| Industry | Software Development, Blockchain, Quality Assurance, Security, Privacy and Security |
| Keywords | Formal Verification, Smart Contract Security, Blockchain Security, Security Audits, Blockchain Audit, Software Verification, Crypto Security, Web3 Security, Dapp Security, Code Analysis, Formal Methods, Decentralized Applications, Static Analysis, Software Assurance, Secure Coding, Cryptography, Software Testing, Cybersecurity |
| Competitors | Consensys Diligence, OpenZeppelin, Trail of Bits, Quantstamp, Inc., ChainSecurity, ChainSafe Systems, Solidified, BlockSec, Hosho (Now Zokyo.io), MythX +29 more (view full list) |
Looking for a particular Certora employee's phone or email?
The Certora annual revenue was $13.7 million in 2026.
Shelly Grossman is the Co-Founder and Chief Technology Officer of Certora.
75 people are employed at Certora.