Certora
Smart contract formal verification platform that proves correctness of DeFi protocols and critical blockchain code.
- Headquarters
- Jerusalem, Israel
- Company size
- 51-100 employees
- Founded
- 2018
- Pricing
- Unlock pricing
Product overview
- Formal Verification Engine
- CI/CD Integration
- Custom Rule Writing
Get help with Certora
Powered by
Loading agencies
Pricing & plans
Plans & limitsBilling termsPricing details
Unlock the full Certora profile
Create a free account and complete onboarding for pricing, buyer research, and procurement details.
Create free accountAlready joined? Log in
Buyer research
Buyer fitUnlock buyer fit
Procurement detailsUnlock procurement details
ImplementationUnlock implementation
IntegrationsUnlock integrations
Customer evidenceUnlock customer evidence
AlternativesUnlock alternatives
VendorUnlock vendor