有效性检查
_
validity check
проверка достоверности
проверка на значимость; проверка корректности; проверка достоверности; проверка правильности данных
validity check
примеры:
验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。
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.
пословный:
| 有效性 | 检查 | ||
1) проверять, контролировать; диагностировать; осматривать, инспектировать; ревизовать; цензуровать; проверка, контроль, диагностика, смотр, досмотр, осмотр, обследование; цензура; ревизия, инспектирование, освидетельствование
2) самокритика
|