• 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

Securify Team

Software license

Unknown license

Last updated: Mar 20th, 2018
Submitted: Jul 7th, 2017