VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. - Ramesh, Vankudoth; Reddy, K. Govardhan (Informatica (03505596), 2026)