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

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