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