1 result found Sort:

Certora
CertoraProver Certora
13
155
gpl-3.0
2
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
web3 solana certora stellar ethereum blockchain certora-prover security-tools smart-contracts formal-verification
Created 2025-02-23
2 commits to master branch, last one 14 days ago