| Subject | English | Russian |
| progr. | 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) |
| progr. | gated check-in model | модель возврата кода с контролем качества (Alex_Odeychuk) |
| telecom. | model check | проверка модели (oleg.vigodsky) |
| automat. | solid-model check | контроль обработки детали по твёрдотельной модели (ssn) |
| progr. | To test the effect of this change, the model can be analyzed again in order to check schedulability | для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| comp., MS | you cannot select the Allow negative net book value check box for a derogatory depreciation value model. | нельзя установить флажок "Разрешить отрицательную остаточную стоимость" для модели стоимости для амортизационной разницы (Dynamics AX 2009 SP1) |