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 [Internet]. 2026 Aug. 19 [cited 2026 Aug. 20];18(18s):185-93. Available from: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4848