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
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
Formal verification of Sarcophagus, the Autonomous and decentralized dead man's switch
This repository contains smart contracts with vulnerabilities registered in SWC to be analyzed with the smart contract verification tools SolCMC, Certora, eThor, HoRStify, VeriSol-MCE and Securify2
A foundry project about formal verification testing using tools like Halmos and Certora.
Add a description, image, and links to the certora topic page so that developers can more easily learn about it.
To associate your repository with the certora topic, visit your repo's landing page and select "manage topics."