Certora Prover Documentation

Contents

• Certora User’s Guide – explains how to use the Prover to verify smart contracts. Organized by topic and focuses on the most useful features.

• The Certora Verification Language – a reference manual for CVL.

• The Certora Prover – a reference manual for the Certora Prover.

• Gambit: Mutation Generator for Solidity – use mutation testing to improve you specifications.

Learning resources

• Certora User’s Guide (in this Documentation).

• Certora Prover Tutorials – learning to use the Prover and CVL through exercises.

• Certora Prover and CVL Examples Repository – learn CVL from examples.

• Tutorial and Workshops – lists workshops and tutorials that cover basic Prover usage.

Additional information

• The Certora Equivalence Checker
• Certora Technology White Paper

Contacting Certora

If you have questions about Certora’s products, the best ways to contact us is on our Help Desk channel on Discord.

For sales, please use the contact form on our website.