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

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