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

свойства безопасности и живучести מתח
.תִכנו	safety and liveness properties (ssn)