ALFIYA SAYYAD; TUSHAR H. GHORPADE; VANITA MANE; FAIMIDA SAYYAD. Adaptive Multi-Agent Explainable Smart Contract Auditing Framework (AMESCAF): A Hybrid Approach Integrating Static Analysis, Symbolic Execution, Formal Verification, and Explainable Artificial Intelligence for Next-Generation Blockchain Security. International Journal of Computer Information Systems and Industrial Management Applications, [S. l.], v. 18, n. 18s, p. 185–193, 2026. DOI: 10.70917/ijcisim-2026-4848. Disponível em: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4848. Acesso em: 20 aug. 2026.