Specification By Example

Todo

This chapter is incomplete. The following resources are available for learning the basics of the Certora Prover:

  • The Tutorial contain a series of small examples and exercises.

  • The Certora Workshop is a recorded two-day workshop that covers basic usage of the Prover (slides).

  • The old documentation introduces Prover features by walking through some examples.