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