אנגלית ⇄ רוסית +

approach of formal verification מתח
.תִכנו	метод формальной верификации (ssn)