Full Functional Verification for Ethereum Smart Contracts
Created by ChainSecurity AG, an ETH Zurich spin-off.
To scan the code, please confirm the following statements:
I am the owner of the code and grant full permissions,
including the right to redistribute, to ChainSecurity AG.
I agree to the terms & conditions.
By signing up, we will inform you about changes and news about VerX!
We will inform you as soon as we have any news about VerX!