| English | Russian |
| A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code | Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде (ssn) |
| If, as is quite common, there are ten interlock signals which allow a motor to start, the maintenance staff will need to be able to check these quickly in the event of a fault | Если, как это обычно бывает, имеется порядка десяти блокирующих друг друга сигналов, позволяющих запустить электродвигатель, обслуживающий персонал в случае неисправности должен быть способен быстро проверить все эти сигналы (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| 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) |