Securify
- Formal verification of smart contracts
Analyse any contract for critical security vulnerabilities and insecure coding. With one click only you can receive formal security guarantees,and accept sources and bytecode.
Status: Live
Author
Software license
Unknown license
Last updated: Mar 20th, 2018
Submitted: Jul 7th, 2017
This page had 21 views and 4 clicks (19% CTR) in the last 180 days