| использование в системах с высоким уровнем полноты безопасности | use in high integrity systems (т.е. в системах, для которых подтверждено корректное написание исходного кода, правильное взаимодействие компонентов программного обеспечения, корректность функционирования программного обеспечения в целом, отсутствие скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore Alex_Odeychuk) |
