Автор фотографии:Андрей Кузнецов.
CAV 2013年25月25日。Организа， поддерживать новый импульс в верификации программного обеспечения и продвигаться в такие новые сферы применения как биологические системы. Конференция охватывает весь диапазон от теоретических результатов до практических приложений, основное внимание уделяется практическим средствам верификации, а также методам и алгоритмам, необходимым для их реализации.
