Vankudoth R, K GR. VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. IJCAI [Internet]. 2026 Apr. 13 [cited 2026 Apr. 13];50(1). Available from: https://www.informatica.si/index.php/informatica/article/view/9267