Certora Prover Documentation
Contents
- Certora Technology White Paper
- Certora User’s Guide
- 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
- Checking Specifications
- Certora Prover CLI
- Using the Certora Portal
- Changelog
- Prod version March 21, 2022
- Prod version March 6, 2022 [MAJOR]
- Prod version February 24, 2022
- Prod version February 10, 2022
- Prod version January 30, 2022
- Prod version January 3rd, 2022
- Prod version January 1st, 2022
- Prod version December 19, 2021
- Prod version December 12, 2021
- Prod version December 4, 2021
- Prod version November 16, 2021
- Prod version November 15, 2021
- Prod version November 7, 2021
- Prod version October 3, 2021
- Prod version August 29th, 2021
- Prod version August 8th, 2021
- Prod version July 18, 2021
- Prod version July 17, 2021
- Prod version July 12, 2021
- Prod version June 14th, 2021
- Prod version June 13th, 2021
- Prod version May 30th, 2021
- Gambit: Mutation Generator for Solidity
- Old Documentation