program verification

Верифікація програми

перевірка правильності (верифікація) програми

доведення

перевірка правильності програми

Джерело: Англо-український словник технічних термінів на Slovnyk.me