Specification By Example

Todo

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

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

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