| Subject | English | Russian |
| progr. | development and verification cost | стоимость разработки и верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| econ. | verification cost | расходы по контролю (напр., выверке счетов) |
| econ. | verification costs | расходы по контролю (напр., выверке счётов) |