Символическое моделирование

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

Символическое моделирование — это форма моделирования, при которой одновременно рассматривается множество возможных вариантов выполнения системы. Обычно это достигается за счет расширения области, в которой происходит моделирование. Символьную переменную можно использовать в представлении состояния моделирования для индексации нескольких исполнений системы. ^[1] Для каждой возможной оценки этих переменных существует конкретное состояние системы, которое косвенно моделируется.

Поскольку символьное моделирование может охватывать множество исполнений системы за одно моделирование, оно может значительно уменьшить размер проблем проверки. Такие методы, как оценка символической траектории (STE) и обобщенная оценка символической траектории (GSTE), основаны на этой идее символического моделирования.

См. также [ править ]

Ссылки [ править ]

^ Брайант, Рэндал Э. (1990). «Символическое моделирование — методы и приложения» . Материалы 27-й конференции по автоматизации проектирования ACM/IEEE . ACM Press: 517–521. дои : 10.1145/123186.128296 . ISBN 978-0-89791-363-8 .

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Брайант, Рэндал Э. (1990). «Символическое моделирование — методы и приложения» . Материалы 27-й конференции по автоматизации проектирования ACM/IEEE . ACM Press: 517–521. дои : 10.1145/123186.128296 . ISBN 978-0-89791-363-8 .

[1]