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