The Certora Prover
Note
The reference manual is currently being heavily edited and reorganized. Where possible, we have included links to the best existing documentation for each topic.
Contents
- Introduction
- 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 yourPATH
- Step 5 (for VS Code users): Install the Certora IDE Extension
- Prover Approximations
- Techniques Used by Certora Prover
- Control Flow Splitting
- Storage and Memory Analysis
- Diagnostic Tools
- Checking Specifications
- Certora Prover CLI
- Using the Certora Portal
- Changelog
- New Certora dashboard login