# sri-csl/solidity

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/sri-csl-solidity).**

53 stars · 16 forks · C++ · GPL-3.0 · fork

## Links

- GitHub: https://github.com/SRI-CSL/solidity
- Homepage: https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
- awesome-repositories: https://awesome-repositories.com/repository/sri-csl-solidity.md

## Description

This is solc-verify, a modular verifier for Solidity.

## Tags

### Part of an Awesome List

- [Security Analysis Tools](https://awesome-repositories.com/f/awesome-lists/security/security-analysis-tools.md) — Modular verification tool for formalizing smart contract correctness.