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