 |
| |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
|
codes validation : 15 фраз в 9 тематиках |
| Банки и банковское дело | 3 |
| Интернет | 1 |
| Информационная безопасность и защита данных | 1 |
| Майкрософт | 2 |
| Нанотехнологии | 1 |
| Оружие массового поражения | 1 |
| Программирование | 4 |
| Техника | 1 |
| Энергетика | 1 |