Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. - Yuepeng Wang 001; Shuvendu K. Lahiri; Shuo Chen; Rong Pan; Isil Dillig; Cody Born; Immad Naseer; Kostas Ferles (VSTTE, 2019)