Automated Verification of Electrum Wallet
Modeling Bitcoin Contracts by Timed Automata