Certora Prover Documentation
latest
Contents
Certora Technology White Paper
Certora User’s Guide
The Certora Verification Language
The Certora Prover
Introduction
Installation
Prover Approximations
Techniques Used by Certora Prover
Control Flow Splitting
Storage and Memory Analysis
Diagnostic Tools
Checking Specifications
Certora Prover CLI
Using the Certora Portal
Changelog
Prover Release Notes
Rules Report Release Notes
New Certora dashboard login
Gambit: Mutation Generator for Solidity
Equivalence Checking Using the Certora Prover
Old Documentation
Certora Prover Documentation
»
The Certora Prover
»
Changelog
Edit on GitHub
Changelog
Contents
Prover Release Notes
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
0.5.6 (October 24, 2023)
Read the Docs
v: latest
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds