Проблем за достижимостта
Проблемът за достижимостта (reachability problem) е фундаментален проблем в компютърните науки, който се появява в контекста на конкурентните системи с краен и с безкраен брой състояния, изчислителните модели като клетъчни автомати и мрежи на Петри, в анализа на програми, дискретни и продължителни системи, критични по отношение на времето системи, хибридни системи, вероятностни и параметрични системи и отворени системи моделирани като игри.