צרפתית ⇄ רוסית +

validation formelle מתח
.טכנול	формальное доказательство правильности (напр. программы)