Under-optimized smart contracts devour your money
Formal Verification of Smart Contracts: Short Paper