Certora Prover Documentation
latest
Contents
Certora User’s Guide
The Certora Verification Language
The Certora Prover
Introduction
Installation
Prover Approximations
Techniques Used by the Certora Prover
Diagnostic Tools
Checking Specifications
Certora Prover CLI
Using the Certora Portal
Changelog
Prover Release Notes
Rules Report Release Notes
Gambit: Mutation Generator for Solidity
Additional information
The Certora Equivalence Checker
Certora Technology White Paper
Old Documentation
Index
Certora Prover Documentation
The Certora Prover
Changelog
Edit on GitHub
Changelog
Contents
Prover Release Notes
7.3.0 (April 11, 2024)
7.0.7 (March 15, 2024)
6.3.1 (February 2, 2024)
6.1.3 (January 11, 2024)
5.0.5 (November 21, 2023)
4.13.1 (September 26, 2023)
4.12.1 (September 17, 2023)
4.10.1 (August 21, 2023)
4.8.0 (August 13, 2023)
4.5.1 (July 15, 2023)
4.3.1 (July 2, 2023)
4.0.5 (June 7, 2023) CVL 2
Rules Report Release Notes
1.0.0 (Apr 11, 2024)
0.8.0 (Mar 11, 2024)
0.7.0 (Feb 12, 2024)
0.6.0 (Jan 31, 2024)
0.5.7 (Nov 26, 2023)
0.5.62 (Feb 11, 2024)
0.5.6 (October 24, 2023)
Read the Docs
v: latest
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds