International Conference on Computer-Aided Verification (CAV) — Computer Science sohasidagi xalqaro ilmiy konferensiya. Tashkilotchi: . Konferensiya materiallari Scopus bazasida indekslanadi. Sohadagi eng nufuzli konferensiyalardan biri.
CORE reytingi: A* — global miqyosda eng yuqori 5%. CCF reytingi: A — yetakchi konferensiya.
2026 yilgi nashri Lisbon, Portugaliyada boʻlib oʻtadi. Maqolalar topshirish muddati oʻtgan (2026-01-28).