бінарні діаграми, бинарные диаграммы ; верифікація, верификация ; кількісний аналіз, количественный анализ, quantitative analysis ; паралельні системи, параллельные системы ; програмні системи, программные системы, program systems ; розподілені системи, распределенные системы ; символьна верифікація, символьная верификация ; системи реального часу, системы реального времени, Echtzeitsystemen ; структури Крипке, структуры Крипке ; темпоральні логіки, темпоральные логики ; Model Checking ; Leaner Temporal Logic, LTL ; Computational Tree Logic, CTL

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