Vankudoth R, K GR. VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. Informatica. 2026;50(1). doi:10.31449/inf.v50i1.9267