← All tools

CertoraProver

https://www.certora.com

Open Source

Description

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Keywords

blockchain certora certora-prover ethereum formal-verification security-tools smart-contracts solana stellar web3 kotlin

Example Usage

cd Public/TestEVM/CVLCompilation/OptionalFunction
        certoraRun.py Default.conf