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