Terms for subject Information technology containing правильність

Ukrainian	English
гаразд OK правильність OK підтверджувати OK схвалювати OK схвалити OK підтвердити OK добре OK вірно OK усе гаразд OK правильно	ok
доведення правильності алгоритму	algorithm validation
доведення правильності завершення роботи	proof of termination (програми)
доведення правильності програми	program proof
перевірка правильності	validity check
перевірка правильності алгоритму	algorithm validation
перевірка правильності програми	program verification
перевірка правильності верифікація програми	program verification
перевірка правильності проектних вирішень	design verification
підтвердження правильності	validation
підтвердження правильності даних	data validation
підтверджувати правильність	validate
підтвердити правильність	validate
формальний доказ правильності програми	formal program validation