Smart Contract Security Auditing through Formal Verification and Automated Vulnerability Detection. Adv. Digit. Financ. 2026, 1 (1).