solidity
This is solc-verify, a modular verifier for Solidity.
50 stars
16 watching
14 forks
Language: C++
last commit: about 1 year ago
Linked from 3 awesome lists
ethereumformal-specificationformal-verificationsolidity
This is solc-verify, a modular verifier for Solidity.