Англійська ⇄ Російська +

proof methodology наголоси
прогр.	методология доказательства (напр., для формальной проверки (оценки) работоспособности параллельных программ ssn)