Yuepeng Wang 0001, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. In Supratik Chakraborty, Jorge A. Navas, editors, Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers. Volume 12031 of Lecture Notes in Computer Science, pages 87-106, Springer, 2019. [doi]
Abstract is missing.