英语 ⇄ 俄语 +

semi-automated formal verification of software 强调
编程	полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk)