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

verification of concurrent systems מתח
.תִכנו	верификация параллельных систем (ssn)