现行有效的条约

treaty in force

延长条约的有效期

продлить действие договора

有效执行条约的目标和宗旨

эффективное выполнение объекта и цели соглашения

谈判缔结一项非歧视性的、可由国际有效核查的禁止生产核武器或其他爆炸装置所用裂变材料的多边条约特设委员会

Специальный комитет по переговорам о недискриминационном, многостороннем и поддающимся международному и эффективному контролю договоре о запрещении производстве расщепляющегося материала для производства ядерного оружия и других ядерных взрывных устройств

情势变迁原则(对条约效力的一种看法, 拉丁文 Rebus Stantibus 原意是"情势不变, 条约仍然有效")

ребус сик стантибус

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.