 |
| |||
| safety-critical (корпорации AdaCore Alex_Odeychuk); high-integrity (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) | |||
| с высоким уровнем полноты безопасности: 23 phrases in 3 subjects |
| Oil and gas | 1 |
| Programming | 21 |
| Software | 1 |