%0 Journal Article
%T ФОРМИРОВАНИЕ КОНТРПРИМЕРА ПРИ ВЕРИФИКАЦИИ АЛГОРИТМОВ С ПОМОЩЬЮ МЕТОДОВ ЛОГИЧЕСКОГО ВЫВОДА
%A Чистяков, Г..
%K формальная верификация, логический вывод, деление дизъюнктов, схема процесса логического вывода
%J Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика
%D 2014
%N 2014
%P 7
%I Астраханский государственный технический университет