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 (Dec. 2025), 13:277 – 13:293. DOI:https://doi.org/10.5753/jserd.2025.5061.