Login / Signup
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
Yuepeng Wang
Shuvendu K. Lahiri
Shuo Chen
Rong Pan
Isil Dillig
Cody Born
Immad Naseer
Kostas Ferles
Published in:
VSTTE (2019)
Keyphrases
</>
formal verification
model checking
cloud computing
model checker
bounded model checking
cloud services
symbolic model checking
optimal policy
supply chain
automated verification
temporal logic
computing resources
formal specification
web services
mobile services
business models
open source