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. IJCISIM 2026, 18, 185-193.