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://ijccts.org/index.php/pub/article/view/281. Acesso em: 21 nov. 2025.