Terms for subject Software containing automatic

English	Russian
air defense automatic control system	АСУ ПВО (Alex_Odeychuk)
automatic analysis and verification	автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk)
automatic avoidance	автоматический уход (Yeldar Azanbayev)
automatic departure	автоматический уход (Yeldar Azanbayev)
automatic documentation generation	автоматическая генерация документации (корпорации AdaCore Alex_Odeychuk)
automatic escape from	автоматический уход (Yeldar Azanbayev)
automatic prover	автоматический доказатель теорем (adacore.com Alex_Odeychuk)
provide automatic verification	выполнить автоматическую верификацию (программного обеспечения Alex_Odeychuk)
provide automatic verification	обеспечить автоматическую верификацию (программного обеспечения Alex_Odeychuk)