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

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