Перечисление пространства состояний - State space enumeration
В Информатика, перечисление пространства состояний это методы, которые рассматривают каждую достижимую состояние программы чтобы определить, удовлетворяет данное свойство.[1] По мере увеличения размера и сложности программ пространство состояний растет в геометрической прогрессии. Пространство состояний, используемое этими методами, можно уменьшить, сохраняя только те части пространства состояний, которые имеют отношение к анализу. Однако использование методов сокращения состояния и памяти делает время выполнения основным ограничивающим фактором.[2]
Смотрите также
Рекомендации
- ^ «Компактное представление сети Петри для параллельных программ», Мэтью Б. Двайер, Лори А. Кларк, Кари А. Ниси, факультет компьютерных наук, Массачусетский университет, Амхерст-Амхерст, Массачусетс 01003
- ^ "Труды конференции по применению и теории сетей Петри: формальные методы в программной инженерии и системах защиты - Том 12", Серия материалов международной конференции ACM, Vol. 145, Марко Мякеля, Лаборатория теоретической информатики, Хельсинкский технологический университет, Эспоо, Финляндия