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