Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/SRI-CSL/solidity
This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity
ethereum formal-specification formal-verification solidity
Last synced: 3 months ago
JSON representation
This is solc-verify, a modular verifier for Solidity.
- Host: GitHub
- URL: https://github.com/SRI-CSL/solidity
- Owner: SRI-CSL
- License: gpl-3.0
- Fork: true (ethereum/solidity)
- Created: 2018-11-17T06:35:21.000Z (over 5 years ago)
- Default Branch: 0.7
- Last Pushed: 2023-09-05T16:46:45.000Z (9 months ago)
- Last Synced: 2024-03-21T19:07:06.805Z (3 months ago)
- Topics: ethereum, formal-specification, formal-verification, solidity
- Language: C++
- Homepage: https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
- Size: 47.2 MB
- Stars: 51
- Watchers: 17
- Forks: 14
- Open Issues: 45
Lists
- ultimate-defi-research-base - solc-verify - A modular verifier for Solidity smart contracts (Developer Tools)
- DeFi-Developer-Road-Map - solc-verify - A modular verifier for Solidity smart contracts (Roadmap)
- awesome-web3 - solc-verify - A modular verifier for Solidity smart contracts. (Software Development / Risk Management)