英语 ⇄ 俄语 +

verification aware programming language 强调
编程	язык программирования со встроенными средствами формальной верификации программного обеспечения (brooker.co.za Alex_Odeychuk)