Предложен быстродействующий дедуктивно-параллельный метод обратного моделирования неисправностей, использующий процедуру суперпозиции решений, ориентированный на обработку сверхбольших цифровых проектов вентильного и регистрового уровней описания. Приведены структуры данных и программно-ориентированные алгоритмы для реализации метода в составе автоматической системы генерации тестов.

Электронное моделирование [Текст] // Электронное моделирование ; Институт проблем моделирования в энергетике им. Г.Е.Пухова НАН Украины, РАН - К. : НАНУ. — 2003.

• УДК // Комп’ютерне моделювання
• УДК // Теорія керуючих систем: математичні аспекти