Formal Verification Open Source Projects

Discover 1 open source Formal Verification repository from GitHub, each with an analysis of what it does, key features, use cases and alternatives. Formal Verification projects here are most often combined with Blockchain, Developer Tools and Kotlin. Last updated October 3, 2026.

CertoraProver: Formally Verify Smart Contracts

Certora Prover checks smart contracts against formal specifications to find violations before deployment. It targets developers and security teams working with EVM-based chains, Solana, or Stellar who need automated verification.

ActiveHealth 56/100

SecuritySecurity ToolsBlockchain

Added Dec 27, 2025 View details

CertoraProver: Formally Verify Smart Contracts

Related topics