| English | Russian |
| automatic analysis and verification | автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk) |
| provide automatic verification | выполнить автоматическую верификацию (программного обеспечения Alex_Odeychuk) |
| provide automatic verification | обеспечить автоматическую верификацию (программного обеспечения Alex_Odeychuk) |