Terms containing verification time

Subject	English	Russian
progr.	A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators	Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	allow the verification of time bounded properties	позволять верифицировать свойства с ограничениями по времени (ssn)
softw.	compile-time verification	формальная верификация во время компиляции (Alex_Odeychuk)
progr.	more complex verification techniques based on continuous time	более сложные методы верификации, основанные на непрерывном времени (ssn)
progr.	real-time system verification	верификация систем реального времени (ssn)
tech.	real-time verification	контроль в реальном масштабе времени
progr.	real-time verification	проверка в реальном времени (Alex_Odeychuk)
progr.	real-time verification	верификация в РМВ (ssn)
progr.	real-time verification	проверка в РМВ (ssn)
progr.	real-time verification	проверка в реальном времени (ssn)
progr.	real-time verification	верификация в реальном времени (ssn)
progr.	real-time verification	проверка в реальном масштабе времени (ssn)
progr.	real-time verification	верификация в реальном масштабе времени (ssn)
tech.	real-time verification	контроль в реальном времени (масштабе)
progr.	run-time verification	верификация во время выполнения (Alex_Odeychuk)
automat.	time between verifications	межповерочный интервал (buraks)
progr.	verification techniques based on continuous time	методы верификации, основанные на непрерывном времени (ssn)
sec.sys.	verification time	время верификации (от момента предъявления идентификатора до его признания или непризнания)