Pushplata Patel. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. Int J Comm comp Tech 2019, 7, 38-41.