| |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
|
code validation : 12 短语, 7 学科 |
| 互联网 | 1 |
| 信息安全 | 1 |
| 大规模杀伤性武器 | 1 |
| 微软 | 1 |
| 技术 | 1 |
| 编程 | 4 |
| 银行业 | 3 |