Formal Verification of Smart Contracts: Short Paper
why3 - where programs meet provers .