Mota, A.; Villarim, M.; Iyoda, J.; Cornélio, M. Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. JSERD 2025, 13, 13:277 - 13:293.