Terms containing computing the set of reachable states

Subject	English	Russian
progr.	algorithms for computing the set of reachable states	алгоритмы вычисления множества достижимых состояний (ssn)
progr.	algorithms for computing the set of reachable states of a finite-state system	алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn)
progr.	computing the set of reachable states	вычисление множества достижимых состояний (ssn)
progr.	Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system	другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)