Символьное моделирование
-
Основы моделирования в информатике
- Моделирование в информатике — это вычисление поведения смоделированной системы.
- Моделирование обычно охватывает дискретные моменты времени и последовательное вычисление состояний.
-
Моделирование компьютерных программ и логических схем
- Компьютерные программы и логические схемы СБИС легко моделируются из-за их операционной семантики.
-
Символьное моделирование
- Символьное моделирование рассматривает множество возможных вариантов выполнения системы.
- Расширение области моделирования позволяет охватить множество системных процессов.
- Символьные переменные используются для индексации запусков системы, что позволяет косвенно моделировать состояния.
-
Преимущества символьного моделирования
- Символьное моделирование сокращает объем задач проверки благодаря охвату множества процессов.
- Методы STE и GSTE основаны на идее символьного моделирования.
-
Дополнительная информация
- Статья является заглушкой и приглашает читателей к расширению.
Полный текст статьи: