Запропоновано швидкодійний дедуктивно-паралельний метод зворотнього моделювання несправностей, що використовує процедуру суперпозиції розв'язків, орієнтований на обробку надвеликих цифрових проектів вентильного та реєстрового рівнів опису. Наведено структури даних і програмно-орієнтовані алгоритми для реалізації методу в складі автоматичної системи генерації тестів.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"