רוסית ⇄ אנגלית

среда верификации программного обеспечения с высоким уровнем полноты безопасности מתח
.תִכנו	verification environment for high-integrity software (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk)