Английский ⇄ Русский

global invariants ударения
прогр.	глобальные инварианты (ssn)
global invariant
прогр.	глобальный инвариант (предикат, истинный в каждом видимом состоянии программы, а именно, до и после каждого неделимого действия ssn)