2019
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
[DOI]
Yuepeng Wang
,
Shuvendu K. Lahiri
,
Shuo Chen
,
Rong Pan
,
Isil Dillig
,
Cody Born
,
Immad Naseer
,
Kostas Ferles
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019