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