This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2026, held in Hong Kong, China, during December 1–4, 2026.

The 14 full papers, 4 tool papers and 1 invited paper were carefully reviewed and selected out of 56 submissions. The papers cover the following topical sections: Invited Paper; Explainability; Verifying ML Models; Software; Probabilistic Systems; Games and Synthesis; and Automata.