[Why3-club] Formal verification of smart contracts
chris at ethereum.org
Mon Aug 1 17:16:48 CEST 2016
thank you for the remarks! I chose to encode the restrictions of the
virtual machine as part of the code and not as part of the conditions,
because of the complications with the to_int projection. In the meantime,
our project is available online, some introduction can be found here:
Our main "IDE" can be found at https://ethereum.github.io/browser-solidity
Just like "try why3" it works fully in the browser, and I would like to
integrate the browser version of why3 together with alt-ergo directly into
use it as is. Could you perhaps provide me with some pointers about how
better integrated into browser projects?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Why3-club