Verification

• Scribble - Runtime verification tool for Solidity that enables you to write specifications to test, fuzz or symbolically execute contracts (e.g using Mythril or the MythX service) to check if your properties can be violated.
• KEVM - Formal verification framework that models EVM semantics.
• Certora Prover - Formal verification tool that checks if a smart contract satisfies a set of rules written in CVL (Certora Verification Language).