Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

projects [2016/11/21 16:02]
vkuncak
projects [2017/04/11 11:43] (current)
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:
 
projects.txt · Last modified: 2017/04/11 11:43 by vkuncak
 
© EPFL 2018 - Legal notice