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