vote pending

SmartCodeVerifier: Automated Formal Verification Tool for Smart Contract Code

View on Ideascale

Current Project Status

vote pending

Amount
Received

₳0

Amount
Requested

₳200,000

Percentage
Received

0.00%

Solution

An automated tool, combining both model checking and theorem proving techniques, to formally verify smart contract implementations with proof artifacts and counterexample generation capabilities.

Problem

Due to the lack of accessible and efficient formal verification tools to validate smart contract implementations, the use of testing often leaves edge cases and serious security exploits uncovered.