Публікація:
Формальная семантика сложных операторов линейной темпоральной логики

Завантаження...
Зображення мініатюри

Дата

2008

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Рассматривается проблема нечеткости интерпретации сложных операторов линейной темпоральной логики в применении к анализу цифровых систем в рамках динамических методов верификации. Вводятся формальные определения и спецификации ключевых вычислительных процедур рабочего цикла верификации, ориентированные на максимальное быстродействие анализа.

Опис

Ключові слова

сложные операторы линейной темпоральной логики, анализ цифровых систем, верификация

Бібліографічний опис

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

DOI