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