верифікація, верификация ; компіляція, компиляция, compiling, Kompilieren, compilation ; логічне моделювання, логическое моделирование, logic simulation ; мультипроцесорні моделі, мультипроцессорные модели ; паралельні обчислювальні системи, параллельные вычислительные системы ; тестування, тестирование, testing ; цифрові системи, цифровые системы, digital system ; PRUS ; Application Specific Integrated Circuit, ASIC

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Стійкість. Надійність. Контроль. Синтез. Корегуючі системи. Тести