אנגלית ⇄ רוסית +

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