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: about 2 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 (about 6 years ago)
• Default Branch: 0.7
• Last Pushed: 2023-09-05T16:46:45.000Z (over 1 year ago)
• Last Synced: 2024-05-23T07:58:41.959Z (7 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

Awesome Lists containing this project