Pushplata Patel. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. International Journal of Communication and Computer Technologies 2019, 7, 38-41.