Formal Verification of Smart Contracts: Short Paper
Gradual typing embedded securely in JavaScript