Формальная семантика сложных операторов линейной темпоральной логики
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Зайченко, С. А.
Хаханов, В. И. |
|
| Date |
2015-07-02T14:08:56Z
2015-07-02T14:08:56Z 2008 |
|
| Identifier |
Зайченко, С. А. Формальная семантика сложных операторов линейной темпоральной логики / С. А. Зайченко, В. И. Хаханов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 145. – С. 14–29.
http://hdl.handle.net/123456789/2373 |
|
| Description |
Рассматривается проблема нечеткости интерпретации сложных операторов линейной темпоральной логики в применении к анализу цифровых систем в рамках динамических методов верификации. Вводятся формальные определения и спецификации ключевых вычислительных процедур рабочего цикла верификации, ориентированные на максималь- ное быстродействие анализа.
|
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|
| Subject |
сложные операторы линейной темпоральной логики
анализ цифровых систем верификация |
|
| Title |
Формальная семантика сложных операторов линейной темпоральной логики
|
|
| Type |
Article
|
|