VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection.
Saved in:
| Title: | VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. |
|---|---|
| Authors: | Ramesh, Vankudoth1, v.ramesh406@gmail.com, Reddy, K. Govardhan2, govardhan.cse@gprec.ac.in |
| Source: | Informatica (03505596); Mar2026, Vol. 50 Issue 1, p25-43, 19p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03505596 |
|---|---|
| DOI: | 10.31449/inf.v50i1.9267 |
