 |
| Subject | Russian | English |
| progr. | полнота верификации | completeness of verification (ssn) |
| progr. | полнота верификации в соответствии с предыдущей стадией | completeness of verification with respect to the previous phase (ssn) |
| progr. | среда верификации программного обеспечения с высоким уровнем полноты безопасности | verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |