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

verification of finite-state systems מתח
.תִכנו	верификация систем с конечным числом состояний (ssn)