Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Işıl Dillig, Cody Born, Immad Naseer, Kostas Ferles
Topics & Concepts
Computer scienceSmart contractCorrectnessBlockchainWorkflowSolidityWorkbenchSoftware engineeringFormal verificationProgramming languageComputer securityDatabaseArtificial intelligenceVisualizationBlockchain Technology Applications and SecuritySecurity and Verification in ComputingAdvanced Malware Detection Techniques