Символическая оценка траектории
 | Эта статья нуждается в дополнительных цитатах для проверки . ( август 2019 г. ) |
Оценка символьной траектории ( STE ) — это решетки на основе технология проверки моделей , которая использует форму символического моделирования . STE по существу используется для компьютерного оборудования, то есть для схемы проверки . В этом методе используется абстракция , что означает, что детали поведения схемы удаляются из модели схемы. Впервые он был разработан Карлом Сегером и Рэнди Брайантом в 1995 году как альтернатива «классической» символьной проверке моделей .
Ссылки
[ редактировать ]- К.-Дж.Х. Сегер и Р.Э. Брайант, Формальная проверка путем символической оценки частично упорядоченных траекторий , Формальные методы проектирования систем, Vol. 6, № 2 (март 1995 г.), стр. 147–190.
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |