исследование пространства состояний(= state-space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn)
граф состояний(узлы графа состояний представляют собой возможные стадии решения задачи, ребра графа отражают умозаключения, ходы в игре или другие шаги в решении. Решение задачи – это процесс поиска пути к решению на графе состояний Alex_Odeychuk)