Certora Prover Documentation
latest

Contents

  • Certora Technology White Paper
  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
    • Introduction
    • Installation
    • Prover Approximations
    • Checking Specifications
    • Certora Prover CLI
    • Using the Certora Portal
    • Changelog
  • Gambit: Mutation Generator for Solidity
  • Old Documentation
Certora Prover Documentation
  • »
  • The Certora Prover
  • Edit on GitHub

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
    • 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
  • Prover Approximations
    • Loop Unrolling
    • Method Summarization
    • Harnessing
    • Modeling of Hashing in the Prover
  • Checking Specifications
    • Rule Sanity Checks
    • Bug Injection
    • Mutation Testing
  • Certora Prover CLI
    • Verification
    • Linking
    • Certora Prover CLI Options
  • Using the Certora Portal
    • Certora Verification Reports
    • Special Portal URLs
  • 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
Previous Next

© Copyright 2022, Certora, Inc. Revision 1076df8a.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds