The Certora Verification Language
The Certora Verification Language (often abbreviated CVL) is the language used to write specifications for smart contracts. This chapter describes the syntax and semantics of CVL Specifications.
The Certora Verification Language (often abbreviated CVL) is the language used to write specifications for smart contracts. This chapter describes the syntax and semantics of CVL Specifications.