Какая возможная связь между состояниями и используемой памятью при проверке модели. Можем ли мы оценить общий объем памяти, который может быть использован нашей моделью (пространство состояний), прежде чем фактически внедрить ее в средство проверки моделей. можем ли мы приблизительно оценить минимально возможную память до фактической реализации. От того, какой коэффициент использования памяти зависит, кроме переходов и состояний.
Спасибо.