Alfiya Sayyad, Tushar H. Ghorpade, Vanita Mane, and 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 18, no. 18s (August 19, 2026): 185–193. Accessed August 20, 2026. https://cspub-ijcisim.org/index.php/ijcisim/article/view/4848.