 |
| |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
| code validation: 11 phrases in 7 subjects |
| Banking | 3 |
| Information security and data protection | 1 |
| Internet | 1 |
| Microsoft | 1 |
| Programming | 3 |
| Technology | 1 |
| Weapons of mass destruction | 1 |