Максимец А. Н. Верификация программ: состояние, проблемы, экспериментальные результаты. II / А. Н. Максимец // Пробл. програмув.. - 2014. - № 1. - С. 76-89. - Библиогр.: 7 назв. - рус.
Рассмотрены алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приведен краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"