International Conference on Computer-Aided Verification (CAV) — международная научная конференция в области Computer Science. Организатор: . Материалы конференции индексируются в базе Scopus. Одна из наиболее авторитетных конференций в данной области.
Рейтинг CORE: A* — топ 5% мирового уровня. Рейтинг CCF: A — ведущая конференция.
Издание 2026 года проходит в г. Lisbon, Португалия. Срок подачи статей истёк (2026-01-28).
