Pushplata Patel 2019. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. International Journal of communication and computer Technologies. 7, 2 (Dec. 2019), 38–41.