Публікація: Формальная семантика сложных операторов линейной темпоральной логики
Завантаження...
Дата
2008
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Рассматривается проблема нечеткости интерпретации сложных операторов линейной темпоральной логики в применении к анализу цифровых систем в рамках динамических методов верификации. Вводятся формальные определения и спецификации ключевых вычислительных процедур рабочего цикла верификации, ориентированные на максимальное быстродействие анализа.
Опис
Ключові слова
сложные операторы линейной темпоральной логики, анализ цифровых систем, верификация
Бібліографічний опис
Зайченко, С. А. Формальная семантика сложных операторов линейной темпоральной логики / С. А. Зайченко, В. И. Хаханов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 145. – С. 14–29.