Terms containing time-checking

Subject	English	Russian
progr.	Certainly, most of the research on continuous-time model checking is based on this model	Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
automat.	checking code time	время проверки кода
automat.	checking code time	время отладки программы
automat.	checking time of indications	время проверки показаний
automat.	checking-code time	период проверки кода
IT	code checking time	время отладки программы
automat.	code checking time	период проверки кода
IT	code-checking time	время проверки кода
progr.	compile-time checking of exceptions	проверка исключений во время компиляции (Alex_Odeychuk)
progr.	compile-time type checking	проверка типов во время компиляции (Alex_Odeychuk)
progr.	continuous-time model checking	верификация с непрерывным временем (моделей ssn)
IT	free-time checking	поиск незанятых интервалов времени
avia.	latest checking time	время прекращения регистрации
progr.	link-time type checking	проверка типов во время компоновки (Alex_Odeychuk)
progr.	most of the research on continuous-time model checking	большая часть исследований по верификации с непрерывным временем (ssn)
IT	program checking time	время отладки программы
progr.	provides constant-time checking for an item's existence	обеспечить проверку существования элемента за константное время (Alex_Odeychuk)
progr.	real-time error-checking	обнаружение ошибок в реальном времени (компании Embarcadero Technologies Alex_Odeychuk)
progr.	real-time syntax checking	проверка синтаксиса в реальном времени (Alex_Odeychuk)
progr.	real-time syntax checking	синтаксический контроль в реальном времени (Alex_Odeychuk)
progr.	static and run-time checking	статическая и динамическая проверка (Alex_Odeychuk)
IT	time checking	контроль по времени
cem.	time-checking	хронометраж