mechanical verification Автоматична перевірка автоматична верифікація Англо-український словник технічних термінів