Команда соревнований по формальной верификации программ VeHa-2025. Сидят слева направо: М.А. Шабанова, Ю.Ю. Разбитнова, А.Д. Ищенко, Д.А. Кондратьев, Н.О. Гаранина, В.И. Шелехов, Н.В. Шилов (стоит), А.А. Харьков, Л.К. Бояндин, И.М. Черненко.

Автор: Ануреев Игорь Сергеевич