“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.