 |
Terms for subject Software containing Verification Of | all forms | exact matches only | in specified order only
| English | Russian |
| formal verification of an implementation against a specification | формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk) |
| 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) |
| 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) |
| set of verification tools | набор инструментов верификации (adacore.com Alex_Odeychuk) |
| sorts of verification activities | виды деятельности по верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |