| English | Russian |
| sorts of verification activities | виды деятельности по верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |
| verification activities | деятельность по верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk) |