Running the Certora Prover

Todo

This documentation is incomplete. In the meantime, see Lesson 1 of the tutorial for a detailed walkthrough of how to write a basic property, verify it using the Certora Prover, and understand the verification results.

Feel free to post questions at forum.certora.com.

Todo

The built-in rules Basic setup checks — sanity and Thorough complexity checks — deepSanity can be useful early in a project.