Certora Prover Documentation
Contents
Certora User’s Guide
The Certora Verification Language
The Certora Prover
Sunbeam: Verification for Soroban
The Certora Solana Prover
Gambit: Mutation Generator for Solidity
Additional information
The Certora Equivalence Checker
Certora Technology White Paper
Index
Certora Prover Documentation
Certora Technology White Paper
View page source
Certora Technology White Paper
Learn more about Certora’s technology from our
White Paper
.