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

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