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