 |
| Subject | Russian | English |
| softw. | с точки зрения динамической верификации | from a dynamic verification point of view (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore Alex_Odeychuk) |
| softw. | с точки зрения статической верификации | from a static verification point of view (each type is associated with a representation and a semantic interpretation. Two types with similar representations but different semantics will still be considered different by the compiler. The developer is responsible for deciding where and how type conversion should be made; корпорации AdaCore Alex_Odeychuk) |
| data.prot. | точка верификации | verification point |
| sec.sys. | точка верификации | verification pin |