Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
SRI-CSL
Fetched on 2025/03/16 05:02
SRI-CSL
/
solidity
This is solc-verify, a modular verifier for Solidity. -
View it on GitHub
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
Star
52
Rank
442789