Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
projects [2016/11/21 16:02] vkuncak |
projects [2017/04/11 11:43] vkuncak |
||
|---|---|---|---|
| Line 72: | Line 72: | ||
| This project likely requires the previous project on parameterized-length bitvectors. | This project likely requires the previous project on parameterized-length bitvectors. | ||
| - | === Verify Electronic Contract Code === | + | === Verify Smart Contract Code === |
| Verify correctness of electronic contract code. See, for example: | Verify correctness of electronic contract code. See, for example: | ||