Securify: Practical Security Analysis of Smart Contracts
ZEUS: Analyzing Safety of Smart Contracts