Verification of smart contracts: A survey
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Topics & Concepts
Computer scienceCorrectnessSmart contractContext (archaeology)Computer securityProcess (computing)Formal verificationWork (physics)BlockchainSoftware engineeringProgramming languageEngineeringPaleontologyMechanical engineeringBiologySecurity and Verification in ComputingBlockchain Technology Applications and SecurityCloud Data Security Solutions