 |
| |||
| валидация кода (оценки точности расчётов с использованием кода по соответствующим экспериментальным данным) | |||
| проверка достоверности машинной программы | |||
| проверка достоверности расчётов с использованием кода (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk); проверка достоверности расчётов в программном коде (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) | |||
|
codes validation : 15 phrases, 9 sujets |
| Armes de destruction massive | 1 |
| Bancaire | 3 |
| Industrie de l'énergie | 1 |
| Internet | 1 |
| Microsoft | 2 |
| Nanotechnologie | 1 |
| Programmation | 4 |
| Sécurité des informations et protection des données | 1 |
| Technologie | 1 |