Certora Prover Tutorials# Contents: 1. Background and Prerequisites 2. Getting Started 3. Understanding violations 4. Invariants and Ghosts