исследование пространства состояний(= state-space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn)
исследование пространства состояний(= state space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn)