NITMiner Technologies Private Limited

Home
Our Team Publications Awards
Licenses Tools
TrustInn
Careers Gallery Contact

About CC-SolSym

   We propose a new technique to measure condition coverage criterion for smart contracts using a state based symbolic execution tool.

CC-SolSym
To measure Condition Coverage of smart contract using Symbolic Execution.