Smart Contract Security Auditing through Formal Verification and Automated Vulnerability Detection. Advances in Digital Finance, [S. l.], v. 1, n. 1, 2026. Disponível em: https://journals.starmountint.com/index.php/adf/article/view/11. Acesso em: 24 jun. 2026.