A. Mota, M. Villarim, J. Iyoda, and M. Cornélio, “Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts”, JSERD, vol. 13, no. 2, pp. 13:277 – 13:293, Dec. 2025.