VANKUDOTH, Ramesh; K, Govardhan Reddy. VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. Informatica, [S. l.], v. 50, n. 1, 2026. DOI: 10.31449/inf.v50i1.9267. Disponível em: https://www.informatica.si/index.php/informatica/article/view/9267. Acesso em: 13 apr. 2026.