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 50, no. 1 (April 13, 2026). Accessed April 13, 2026. https://www.informatica.si/index.php/informatica/article/view/9267.