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) |
Однако нет и не требуется никакой информации, связанной с количеством времени, необходимым на выполнение задания | However, no information at all is given or needed concerning the amount of time to execute a job (ssn) |