over budget
SmartCodeVerifier: Automated Formal Verification Tool for Smart Contract Code
Current Project Status
Unfunded
Amount
Received
Received
₳0
Amount
Requested
Requested
₳200,000
Percentage
Received
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.
Impact Alignment
Feasibility
Value for money
