Assertion list
smart contract (subgroup of contract ) → ReceivesAction

Results from Ascent++: 7
smart contractReceivesAction executed 0.67
smart contractReceivesAction created 0.50
smart contractReceivesAction written in solidity 0.43
smart contractReceivesAction specified in digital form 0.40
smart contractReceivesAction triggered 0.29
smart contractReceivesAction provided by the client 0.25
smart contractReceivesAction checked for security vulnerabil… 0.16