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
Certora Verification Reports
Special Portal URLs
Release Notes
Gambit: Mutation Generator for Solidity
Equivalence Checking Using the Certora Prover
Old Documentation
Certora Prover Documentation
»
The Certora Prover
»
Using the Certora Portal
Edit on GitHub
Using the Certora Portal
Certora Verification Reports
Storage in Call Trace
How can the storage change?
When do we show the storage state?
What do we show?
What are the “computational types”?
Limitations of the current “computational type” resolution
Special Portal URLs
Job status
Additional error reports
Timeout analysis
Zip output
Read the Docs
v: latest
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds