Mota, Alexandre, Manoel Villarim, Juliano Iyoda, and Márcio Cornélio. “Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts”. Journal of Software Engineering Research and Development 13, no. 2 (December 9, 2025): 13:277 – 13:293. Accessed December 14, 2025. https://journals-sol.sbc.org.br/index.php/jserd/article/view/5061.