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

symbolic model-checking techniques מתח
.תִכנו	символьные методы верификации моделей (ssn)