Full Functional Verification for Ethereum Smart Contracts
News
VerX is accepted at the IEEE Symposium on Security and Privacy 2020.
DOWNLOAD PAPER
2019.07.09
Created by ChainSecurity AG, an ETH Zurich spin-off.
-
Specification -
Smart Contracts
-
Deployment
Oops!
Thank you for your feedback.
Send us your feedback.
How to read the security report?
Specification verification result
Confirm permission
To scan the code, please confirm the following statements:
Terms & Conditions
Privacy Policy
Stay up to date!
By signing up, we will inform you about changes and news about VerX!
Enter your e-mail address
Thank you for Signing up!
We will inform you as soon as we have any news about VerX!