MOTA, A.; VILLARIM, M.; IYODA, J.; CORNÉLIO, M. Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. Journal of Software Engineering Research and Development, [S. l.], v. 13, n. 2, p. 13:277 – 13:293, 2025. DOI: 10.5753/jserd.2025.5061. Disponível em: https://journals-sol.sbc.org.br/index.php/jserd/article/view/5061. Acesso em: 14 dec. 2025.