Getting Started

• Installation
  • Step 1: prerequisites
  • Step 2: Install the Certora Prover package
  • Installing the beta version (optional)
  • Step 3: Set the premium access key as an environment variable
  • Step 4: Add the Solidity compiler (solc) executable’s folder to your PATH
  • Step 5 (for VS Code users): Install the Certora IDE Extension
• Project Layout
• Running the Certora Prover