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

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

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Числові методи алгебри