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