Публікація: Модель интерпритации высокоуровневых операторов LTL-логики
Завантаження...
Дата
2009
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
На основе анализа математического аппарата линейной темпоральной логики в применении к верификации цифровых систем разрабатывается модель интерпретации высокоуровневых операторов LTL-логики для проверки справедливости формул во время симуляции – режим глобального времени.
Опис
Ключові слова
цифровые системы, автоматизированное проектирование
Бібліографічний опис
Зайченко, С. А. Модель интерпритации высокоуровневых операторов LTL-логики / С. А. Зайченко, Е. И. Литвинова, И. А. Побеженко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2009. – Вып. 149. – С. 96–111.