Certora Prover Documentation
74

Contents

  • Certora Technology White Paper
  • Certora User’s Guide
  • The Certora Verification Language
  • The Certora Prover
  • Gambit: Mutation Generator for Solidity
  • Equivalence Checking Using the Certora Prover
  • Old Documentation
Certora Prover Documentation
  • »
  • Index
  • Edit on GitHub

Index

C | E | H | M | O | P | Q | S | U | V | W

C

  • counterexample

E

  • environment
  • exact
  • example

H

  • havoc
  • hyperproperty

M

  • model

O

  • overapproximation

P

  • parametric rule

Q

  • quantified expression
  • quantifier

S

  • sanity
  • scene
  • sound
  • summarize
  • summary

U

  • underapproximation
  • unsound

V

  • vacuity
  • vacuous

W

  • wildcard

© Copyright 2022, Certora, Inc. Revision be21c3fb.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: 74
Versions
latest
cvl1
Downloads
On Read the Docs
Project Home
Builds