Smart Contract Security Auditing through Formal Verification and Automated Vulnerability Detection. (2026). Advances in Digital Finance, 1(1). https://journals.starmountint.com/index.php/adf/article/view/11