TY JOUR TI ФОРМИРОВАНИЕ КОНТРПРИМЕРА ПРИ ВЕРИФИКАЦИИ АЛГОРИТМОВ С ПОМОЩЬЮ МЕТОДОВ ЛОГИЧЕСКОГО ВЫВОДА KW формальная верификация KW логический вывод KW деление дизъюнктов KW схема процесса логического вывода JO Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика AU Чистяков, Г.. PY 2014 IS 2014 PB Астраханский государственный технический университет