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

Зайченко, С. А.; Хаханов, В. И.

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

dc.contributor.author	Зайченко, С. А.
dc.contributor.author	Хаханов, В. И.
dc.date.accessioned	2016-09-13T13:50:52Z
dc.date.available	2016-09-13T13:50:52Z
dc.date.issued	2008
dc.description.abstract	Рассматривается проблема нечеткости интерпретации сложных операторов линейной темпоральной логики в применении к анализу цифровых систем в рамках динамических методов верификации. Вводятся формальные определения и спецификации ключевых вычислительных процедур рабочего цикла верификации, ориентированные на максимальное быстродействие анализа.	uk_UA
dc.identifier.citation	Зайченко, С. А. Формальная семантика сложных операторов линейной темпоральной логики / С. А. Зайченко, В. И. Хаханов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 145. – С. 14–29.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/2495
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	сложные операторы линейной темпоральной логики	uk_UA
dc.subject	анализ цифровых систем	uk_UA
dc.subject	верификация	uk_UA
dc.title	Формальная семантика сложных операторов линейной темпоральной логики	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication