shaunazzopardi/solidity-static-analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
HaskellBSD-3-Clause
No issues in this repository yet.
Static analysis for Solidity smart contract with properties as symbolic automata.
HaskellBSD-3-Clause
No issues in this repository yet.