Mota A, Villarim M, Iyoda J, Cornélio M. Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. JSERD [Internet]. 2025Dec.9 [cited 2025Dec.14];13(2):13:277 - 13:293. Available from: https://journals-sol.sbc.org.br/index.php/jserd/article/view/5061