Certora Prover Documentation
latest
Contents
Certora Technology White Paper
Certora User’s Guide
The Certora Verification Language
The Certora Prover
Introduction
Installation
Prover Approximations
Loop Unrolling
Method Summarization
Harnessing
Modeling of Hashing in the Prover
Checking Specifications
Certora Prover CLI
Using the Certora Portal
Release Notes
Gambit: Mutation Generator for Solidity
Equivalence Checking Using the Certora Prover
Old Documentation
Certora Prover Documentation
»
The Certora Prover
»
Prover Approximations
»
Method Summarization
Edit on GitHub
Method Summarization
Todo
This documentation is incomplete. See
The Methods Block
for more information.
Read the Docs
v: latest
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds