Certora/CertoraProver

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

语言：Kotlin · GitHub 星标：339 · Fork：52

话题：blockchain · certora · certora-prover · ethereum · formal-verification · security-tools · smart-contracts · solana

在 GitHub 上查看原仓库