formal program validation

Формальний доказ правильності програми

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