| Russian | English |
| компонент Инфраструктуры обработки событий общего формата, который принимает события из источников событий, выполняет и проверяет их, а затем отправляет их на сервер событий в соответствии с критериями фильтрации | A component of the Common Event Infrastructure that receives events from event sources, completes and validates the events, and then sends events to the event server based on filter criteria (см. event emitter ssn) |
| необходимо проверять корректность переключений внутри приложений в ответ на соответствующие воздействия | check for correct switching upon application of the relevant stimulus (ssn) |
| Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | 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) |
| проверять на компьютере правильность логики функциональных диаграмм | examine function diagrams for logical correctness on the PC (ssn) |
| проверять на наличие всех возможных ошибок во время выполнения | test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk) |
| проверяться на корректность во время компиляции | be checked compile-time for correctness (Alex_Odeychuk) |
| проверяться на неопределённое значение | be checked for null (Alex_Odeychuk) |
