Pushplata Patel. “Model Checking and Runtime Verification of Decentralized Smart Contract Interactions”. International Journal of Communication and Computer Technologies 7, no. 2 (December 15, 2019): 38–41. Accessed February 4, 2026. https://www.eccsubmit.com/index.php/ijccts/article/view/165.