Formal Specification and Verification of Smart Contracts for Azure Blockchain.
Shuvendu K. LahiriShuo ChenYuepeng WangIsil DilligPublished in: CoRR (2018)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- temporal logic
- process algebra
- cloud computing
- object oriented design
- protocol specification
- formal verification
- specification language
- cloud services
- reverse engineering
- grid workflow
- asynchronous circuits
- mobile services
- computing resources
- information systems