Flexible pricing to
keep you secure
From simple to complex use cases, we've got you covered.
Audit
Our team of security experts will analyze your code
- Manual review
- Formal verification
- Custom audit report
- Reusable rules
Certora Prover
Free
Run our formal verification tool for free
- Up to 2,000 min/month runtime
- Write your own rules
- Limited support
Enterprise
Ongoing analysis & verification of your code as you build it
- Unlimited audits
- Our experts write rules for your code
- Unlimited Prover access
- Training & dedicated support
- Incident response
