Mota, A., Villarim, M., Iyoda, J. and Cornélio, M. (2025) “Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts”, Journal of Software Engineering Research and Development, 13(2), pp. 13:277 – 13:293. doi: 10.5753/jserd.2025.5061.