“Smart Contract Security Auditing through Formal Verification and Automated Vulnerability Detection”, Adv. Digit. Financ., vol. 1, no. 1, Jun. 2026, Accessed: Jun. 24, 2026. [Online]. Available: https://journals.starmountint.com/index.php/adf/article/view/11