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

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