| |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
|
code validation : 13 do fraz, 7 tematyki |
| Bankowość | 3 |
| Bezpieczeństwo informacji i ochrona danych | 1 |
| Broń masowego rażenia | 1 |
| Internet | 1 |
| Microsoftu | 2 |
| Programowanie | 4 |
| Technika i technologia | 1 |