 |
Terms for subject Programming containing полнота верификации | all forms | exact matches only | in specified order only
| Russian | English |
| полнота верификации | completeness of verification (ssn) |
| полнота верификации в соответствии с предыдущей стадией | completeness of verification with respect to the previous phase (ssn) |
| среда верификации программного обеспечения с высоким уровнем полноты безопасности | verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |