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

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