“…Formal methods have been used in many contexts to ensure that systems behave as expected [14,16,17,19,21,25,28,37,44,45]. It is only natural, then, that formal approaches have been proposed for the specification and verification of smart contracts [9-11, 18, 24, 26, 31, 34, 35, 40, 52, 53].…”