Certora Prover Documentation
Contents
- Certora Technology White Paper
- Certora User’s Guide
- Introduction
- Tutorial and Workshops
- Getting Started
- Specification By Example
- Designing Good Specifications
- Producing Positive Examples
- Specification Design Patterns
- Working with Multiple Contracts
- Managing Timeouts
- Checking Specifications
- Troubleshooting
- Frequently Asked Questions
- Glossary
- Contacting Certora
- The Certora Verification Language
- The Certora Prover
- 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
- Gambit: Mutation Generator for Solidity
- Equivalence Checking Using the Certora Prover
- Old Documentation