Автор фотографии: Андрей Кузнецов.

CAV 2013 — 25-ая конференция в цикле, посвящённом развитию теории и практики автоматизированных методов формального анализа аппаратных и программных систем. Организаторам CAV крайне важно сохранять ведущую роль конференции в области верификации аппаратного обеспечения, поддерживать новый импульс в верификации программного обеспечения и продвигаться в такие новые сферы применения как биологические системы. Конференция охватывает весь диапазон от теоретических результатов до практических приложений, основное внимание уделяется практическим средствам верификации, а также методам и алгоритмам, необходимым для их реализации.