 |
| Russian | English |
| среда верификации программного обеспечения с высоким уровнем полноты безопасности | verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| среда выполнения с высоким уровнем полноты безопасности | high-integrity run-time (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk) |