Contest Proposal : SMV Smart Contract Formal Verification Phase 1
The contestants shall perform the Phase 1 formal verification of the central SMV smart contracts
Ended
before
Starting
April 27, 2021
before
Voting
May 31, 11:59 pm
before
Ending
Jun 10, 11:59 pm
before
Submissions
1 submission
Jury
In development
Winners
No submissions
Voting statistics
across all submissions
Places
3
Avg. rating
6.75
Points
0
Votes
0
Got something to say?
We are waiting for your message in the chat!