Terms for subject Programming containing time check

English	Russian
an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints	Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
compile-time check	статический контроль (при трансляции программы ssn)
pass a compile-time check	проходить проверку во время компиляции (Alex_Odeychuk)
run-time check	текущий контроль (ssn)
run-time accessibility check	проверка доступности во время выполнения (Alex_Odeychuk)
run-time type check	проверка согласования типов во время выполнения (Alex_Odeychuk)
with a run-time type check	с проверкой согласования типов во время выполнения (Alex_Odeychuk)