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

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