Terms for subject Programming containing response constraint

English	Russian
a constraint on response time	некоторое ограничение на время реакции (ssn)
a constraint on response time for some operation	некоторое ограничение на время реакции для той или иной операции (ssn)
response timing constraint	ограничение по времени отклика (корпорации AdaCore Alex_Odeychuk)
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not	Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)