Flexible pricing to keep you secure

From simple to complex use cases, we've got you covered.



Run the leading formal verification tool for free

  • Up to 2,000 min/month runtime
  • Write your own rules
  • Discord support
Get Started


Integrate the tool trusted by top DeFi protocols to keep their code secure

  • Unlimited Prover access
  • Setup & onboarding support
  • Up to 10 team members
  • Specification review
Contact Us


Ongoing analysis & verification of your code as you build it

  • Audit + formal verification retainer
  • Our experts write rules for your code
  • Unlimited Prover access
  • Training & dedicated support
  • Incident response
Contact Us
Certora Logo
Terms of UsePrivacy Policy