Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts. - Alexandre Mota 001; Manoel Villarim; Juliano Iyoda; Márcio Cornélio (J. Softw. Eng. Res. Dev., 2025)