проверять временем

Terms for subject Programming containing проверять временем | all forms

Russian	English
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет	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)
проверять на наличие всех возможных ошибок во время выполнения	test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk)
проверять определения во время компиляции	validate definitions at compile-time (Alex_Odeychuk)
проверяться во время компиляции	be checked compile-time (Alex_Odeychuk)
проверяться на корректность во время компиляции	be checked compile-time for correctness (Alex_Odeychuk)