Vankudoth, Ramesh, and Govardhan Reddy K. “VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection”. Informatica, vol. 50, no. 1, Apr. 2026, doi:10.31449/inf.v50i1.9267.