PUSHPLATA PATEL. Model Checking and Runtime Verification of Decentralized Smart Contract Interactions. International Journal of Communication and Computer Technologies, [S. l.], v. 7, n. 2, p. 38–41, 2019. Disponível em: https://eccsubmit.com/index.php/ijccts/article/view/165. Acesso em: 16 jan. 2026.