法语 ⇄ 俄语 +

validation formelle 强调
信息技术	формальное доказательство правильности (напр. программы)