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

CTL symbolic model checking algorithm מתח
.תִכנו	алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)