Certora Prover Documentation
latest

Contents

  • Certora Technology White Paper
  • Certora User’s Guide
    • Introduction
    • Tutorial and Workshops
    • Getting Started
      • Installation
      • Project Layout
      • Running the Certora Prover
    • 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
  • Gambit: Mutation Generator for Solidity
  • Equivalence Checking Using the Certora Prover
  • Old Documentation
Certora Prover Documentation
  • »
  • Certora User’s Guide »
  • Getting Started
  • Edit on GitHub

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
Previous Next

© Copyright 2022, Certora, Inc. Revision 19a6cd2f.

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