 |
| Russian | English |
| проверка достоверности расчётов в программном коде | code validation (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) |
| проверка достоверности расчётов с использованием кода | code validation (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) |